acw/bang
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Fix a couple typos.

Browse Source
This commit is contained in:
Adam Wick
2011-02-04 13:15:14 -05:00
parent f5bc625500
commit e91067f984
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
bsrc/Data/Bool.bs
View File

@@ -1,11 +1,11 @@
module Data.Bool module Data.Bool
datatype Bool = True | False; datatype Bool = True() | False();
export (&)(x :: Bool, y :: Bool) :: Bool = prim%and; export (&)(x :: Bool, y :: Bool) :: Bool = prim%and;
export (|)(x :: Bool, y :: Bool) :: Bool = prim%or; export (|)(x :: Bool, y :: Bool) :: Bool = prim%or;
export (^)(x :: Bool, y :: Bool) :: Bool = prim%xor; export (^)(x :: Bool, y :: Bool) :: Bool = prim%xor;
export (not)(x :: Bool) :: Bool = prim%not; export not(x :: Bool) :: Bool = prim%not;
export otherwise :: Bool = True; export otherwise :: Bool = True;