summaryrefslogtreecommitdiff
path: root/tp1/test/fulladder.mj
blob: c4b6b0ed1ed9ee0e012b52a3acbcd14d585bc330 (plain) (blame)
1
2
3
4
main(a,b,c) = (s, r) where
  s = (a xor b) xor c;
  r = (a and b) or ((a xor b) and c);
end where