msyds/gf-core
1
0 Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Transfer: derive Eq Bool

Browse Source
This commit is contained in:
bringert committed 2005-12-07 10:11:41 +00:00
1 parent 09e62111fd
commit 56a00d37dd
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
transfer/lib/prelude.tra
+1 -1
View File
@@ -96,7 +96,7 @@ data Bool : Type where
False : Bool
-- derive Show Bool
-- derive Eq Bool
derive Eq Bool
-- derive Ord Bool
not : Bool -> Bool