Commit b2949b10 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

42 is not 0

parent fc36dc52
......@@ -21,7 +21,7 @@ type Nat ::= [ iszero : Bool ;
let 0 : Nat ::= [ iszero = ς(x : Nat) true ;
pred = ς(x : Nat) x.pred ].
let 42 : Nat ::= [ iszero = ς(x : Nat) true ;
let 42 : Nat ::= [ iszero = ς(x : Nat) false ;
pred = ς(x : Nat) x.pred ].
type RomCell ::= [ get : Nat ].
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment