diff options
Diffstat (limited to 'src/Encoded/Bool.idr')
| -rw-r--r-- | src/Encoded/Bool.idr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Encoded/Bool.idr b/src/Encoded/Bool.idr index 778f65d..731f45c 100644 --- a/src/Encoded/Bool.idr +++ b/src/Encoded/Bool.idr @@ -8,11 +8,11 @@ B = N export True : Term B ctx -True = Lit 0 +True = 0 export False : Term B ctx -False = Lit 1 +False = 1 export if' : Term (B ~> ty ~> ty ~> ty) ctx |