aboutsummaryrefslogtreecommitdiff
path: root/samples/logic.mili
blob: ce6470c1d74aac4ac07b08a097fb194844546bca (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
-- garbage collection hack
gc = [0 [0] [0] [0]]

true = [[[0 2 1]]]
false = [[[0 1 2]]]

not = [[[2 0 1]]]

and = [[1 0 false [[gc 0 1]]]]
nand = [[not (and 1 0)]]
or = [[1 true 0 [[gc 0 1]]]]
nor = [[not (or 1 0)]]

([0] <0>)