Skip to content

Commit

Permalink
lazyops are builtins
Browse files Browse the repository at this point in the history
  • Loading branch information
egel-lang committed Sep 1, 2020
1 parent ef41fd1 commit 4486b01
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions include/prelude.eg
Original file line number Diff line number Diff line change
Expand Up @@ -12,14 +12,6 @@ namespace System (
[ true -> false
| X -> true ]

def || =
[ true F -> true
| false F -> F nop ]

def && =
[ false F -> false
| true F -> F nop ]

def . =
[ F G X -> F (G X) ]

Expand Down

0 comments on commit 4486b01

Please sign in to comment.