Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

3:18-9

  • Loading branch information...
commit 5bbde42a180a74c0580e126fa0d5c376efafe35f 1 parent 1060424
@klutometis authored
Showing with 4 additions and 0 deletions.
  1. +4 −0 reasoned-schemer.org
View
4 reasoned-schemer.org
@@ -1344,6 +1344,10 @@ Reasoned Schemer
=lolo= differs from =lol?= by the obligatory metathesis of booleans
with goals; composition with parataxis; =conde= instead of =cond=.
+* 3:18
+ (Cf. [[3:17]])
+* 3:19
+ The value of =(lolo l)= is always a goal.
* Footnotes
Please sign in to comment.
Something went wrong with that request. Please try again.