sample/gates.hence


1
2
3
4
5
6
7
8
9
10
11
12

module gates

input a
input b

expr And: and a b
expr Or: or a b
expr Nand: nand a b
expr Nor: nor a b
expr Xor: xor a b
expr nota: not a
expr notb: not b