mirror of
https://github.com/anoma/juvix.git
synced 2024-12-11 08:25:46 +03:00
15 lines
213 B
Plaintext
15 lines
213 B
Plaintext
|
module LazyBuiltin;
|
||
|
|
|
||
|
|
builtin bool type Bool :=
|
||
|
|
| true : Bool
|
||
|
|
| false : Bool;
|
||
|
|
|
||
|
|
builtin bool-if if : {A : Type} -> Bool -> A -> A -> A;
|
||
|
|
if true x _ := x;
|
||
|
|
if false _ x := x;
|
||
|
|
|
||
|
|
f : Bool -> Bool;
|
||
|
|
f x := if x;
|
||
|
|
|
||
|
|
end;
|