Bool.curry 100 Bytes
Newer Older
1
2
3
4
5
6
7
module Bool where

data Bool = False | True

not :: Bool -> Bool
not False = True
not True  = False