Permalink
Browse files

Tests for 3:17

  • Loading branch information...
klutometis committed Mar 20, 2012
1 parent 456619c commit 1060424902b280926fef28a490bee64a68dfa9ac
Showing with 13 additions and 2 deletions.
  1. +13 −2 reasoned-schemer.org
View
@@ -1329,11 +1329,22 @@ Reasoned Schemer
(lolo d)))
(else #u))))
- (run* (x)
- (lolo '()))
+ (test
+ "lolo on null-list"
+ '(_.0)
+ (run* (x)
+ (lolo '())))
+ (test
+ "lolo on list-lists"
+ '(_.0)
+ (run* (x)
+ (lolo '((1) (2)))))
#+END_SRC
+ =lolo= differs from =lol?= by the obligatory metathesis of booleans
+ with goals; composition with parataxis; =conde= instead of =cond=.
+
* Footnotes
[fn:1] Danenberg, Peter (klutometis). "On analogy with augend, addend,

0 comments on commit 1060424

Please sign in to comment.