fix more bugs
[fp.git] / Logic.hm
1 not=(\x.If x False True) :: Bool -> Bool
2
3 not False