diff --git a/joy/defs.txt b/joy/defs.txt index 5a40424..4945b66 100644 --- a/joy/defs.txt +++ b/joy/defs.txt @@ -5,7 +5,7 @@ || nulco [nullary] dip [true] branch !- 0 >= <{} [] swap -<<{} [] rolldown +<<{} [] rollup abs dup 0 < [] [neg] branch anamorphism [pop []] swap [dip swons] genrec app1 grba infrst