We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e67e162 commit 1d33d36Copy full SHA for 1d33d36
index.html
@@ -116,7 +116,7 @@ <h1>
116
chunk = \ a b xs . row-s a (colS b xs)
117
append = \ as bs . null as bs (cons (head as) (append (tail as) bs))
118
concat = foldr append nil
119
-eq = \ a b . is-z a (is-z b) (is-z b false (eq (pred a) (pred b)))
+eq? = \ a b . is-z a (is-z b) (is-z b false (eq? (pred a) (pred b)))
120
all = foldr (\ a b . a b false) true
121
allf = \ f xs . all (map f xs)
122
</textarea>
0 commit comments