Tiny edits. Almost nothing.

2019-07-21 07:32:20 -07:00
parent 1b5d1c0b82
commit 84a2de7790
2 changed files with 2 additions and 2 deletions
@@ -1,6 +1,6 @@
 -- == 1 -
 ++ == 1 +
-?  == dup bool
+? == dup bool
 anamorphism == [pop []] swap [dip swons] genrec
 app1 == grba infrst
 app2 == [grba swap grba swap] dip [infrst] cons ii