test0.icl 93 Bytes
Newer Older
Bas Lijnse's avatar
Bas Lijnse committed
1 2
module test0

3
import Gast, StdEnv
Bas Lijnse's avatar
Bas Lijnse committed
4 5 6

Start = test \x y.(x && y) == not (not x || not y)