The prelude has been fixed.
authorimode <immediate.mode@gmail.com>
Mon, 17 Dec 2018 06:03:40 +0000 (22:03 -0800)
committerimode <immediate.mode@gmail.com>
Mon, 17 Dec 2018 06:03:40 +0000 (22:03 -0800)
prelude.modal

index 4743668..d2ac420 100644 (file)
@@ -1,12 +1,12 @@
-define (def ?x ?y) (define ?x ?y)
-define (?x -> ?y) (def ?x ?y)
+define (def ?x ?y) (define ?x ?y);
+define (?x -> ?y) (def ?x ?y);
 
-def (?x + ?y) (add ?x ?y)
-def (?x - ?y) (subtract ?x ?y)
-def (?x * ?y) (multiply ?x ?y)
+def (?x + ?y) (add ?x ?y);
+def (?x - ?y) (subtract ?x ?y);
+def (?x * ?y) (multiply ?x ?y);
 
-(factorial (1))      -> (1)
-(factorial (num ?x)) -> ((num ?x) * (factorial ((num ?x) - (1))))
+(factorial (1))      -> (1);
+(factorial (num ?x)) -> ((num ?x) * (factorial ((num ?x) - (1))));
 
 (length (nil))        -> (0);
 (length (?h : (nil))) -> (1);
@@ -18,7 +18,10 @@ def (?x * ?y) (multiply ?x ?y)
 
 (fold (?f) ?i (nil))       -> (?i);
 (fold (?f) ?i (?h : (nil))) -> (?f ?h ?i);
-(fold (?f) ?i (?h : ?t))   -> (?f ?h fold (?f) ?i ?t)
+(fold (?f) ?i (?h : ?t))   -> (?f ?h fold (?f) ?i ?t);
 
-(prepend ?x (nil))     -> (?x : (nil))
-(prepend ?x (?h : ?t)) -> (?x : (?h : ?t))
+(prepend ?x (nil))     -> (?x : (nil));
+(prepend ?x (?h : ?t)) -> (?x : (?h : ?t));
+
+((K ?x) ?y)      -> (?x);
+(((S ?x) ?y) ?z) -> ((?x ?z) (?y ?z));