picolisp

commit 7220de1a0e3034ae014b523082b361fbc9532c4b
parent 4276dcb54d7117586275a4807bccccf1bbd05538
Author: Alexander Burger <abu@software-lab.de>
Date:   Sat, 13 Jul 2013 16:42:21 +0200

Nonsense example in ref
Diffstat:
M
doc/refC.html
 | 
6
+-----

1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/doc/refC.html b/doc/refC.html
@@ -82,11 +82,7 @@ term can be proven.
    (call @P @X @Y)                        # Call the given predicate
    (mapcar @P @L @M) )
 -> mapcar
-:  (? (mapcar change (you are a computer) @Z))
--> NIL
-:  (? (mapcar change (you are a computer) @Z) T)
--> NIL
-:  (? (mapcar permute ((a b c) (d e f)) @X))
+: (? (mapcar permute ((a b c) (d e f)) @X))
  @X=((a b c) (d e f))
  @X=((a b c) (d f e))
  @X=((a b c) (e d f))