up

Author: xieyuheng

examples/boolean.scm renamed to examples/boolean.lisp

@@ -13,7 +13,7 @@
 
 ;; # Null
 
-(import true false "./boolean.scm")
+(import true false "./boolean.lisp")
 
 (define (null f) true)
 (define (null? pair) (pair (lambda (car cdr) false)))

examples/combinators.scm renamed to examples/combinators.lisp

@@ -1,6 +1,6 @@
-(import zero? add mul sub1 "./nat-church.scm")
-(import zero one two three four "./nat-church.scm")
-(import if true false "./boolean.scm")
+(import zero? add mul sub1 "./nat-church.lisp")
+(import zero one two three four "./nat-church.lisp")
+(import if true false "./boolean.lisp")
 
 ;; (claim factorial-half
 ;;   (fix (lambda (X) (-> X Nat Nat))))

examples/combinators.scm.out renamed to examples/combinators.lisp.out

@@ -1,7 +1,7 @@
-(import zero? add mul sub1 "./nat-church.scm")
-(import zero one two three four "./nat-church.scm")
-(import if true false "./boolean.scm")
-(import Y turing "./fix.scm")
+(import zero? add mul sub1 "./nat-church.lisp")
+(import zero one two three four "./nat-church.lisp")
+(import if true false "./boolean.lisp")
+(import Y turing "./fix.lisp")
 
 ;; (claim factorial-wrap (-> (-> Nat Nat) (-> Nat Nat)))
 ;; (claim (Y factorial-wrap) (-> Nat Nat))

examples/cons.scm renamed to examples/cons.lisp

@@ -1,6 +1,6 @@
-(import zero? add mul sub1 "./nat-church.scm")
-(import zero one two three four "./nat-church.scm")
-(import if true false "./boolean.scm")
+(import zero? add mul sub1 "./nat-church.lisp")
+(import zero one two three four "./nat-church.lisp")
+(import if true false "./boolean.lisp")
 
 ;; (claim factorial (-> Nat Nat))
 

examples/factorial-half.scm renamed to examples/factorial-half.lisp

@@ -10,15 +10,15 @@
 (define (rec-List target nil-case li-case)
   (target nil-case li-case))
 
-(import zero add1 "./nat-church.scm")
+(import zero add1 "./nat-church.lisp")
 
 (define (length l)
   (rec-List l
     zero
     (lambda (head target almost)
       (add1 almost))))
 
-(import true "./boolean.scm")
+(import true "./boolean.lisp")
 
 (assert-equal (length nil) zero)
 (assert-equal (length (li true nil)) (add1 zero))

examples/factorial-half.scm.out renamed to examples/factorial-half.lisp.out

@@ -92,7 +92,7 @@
 
 ;; # zero?
 
-(import true false if and or not "./boolean.scm")
+(import true false if and or not "./boolean.lisp")
 
 (define (zero? n) (iter-Nat n true (lambda (x) false)))
 
@@ -105,7 +105,7 @@
 ;; The `sub1` about is `O(n)`,
 ;; while `sub1` for Scott encoding is `O(3)`.
 
-(import cons car cdr "./cons.scm")
+(import cons car cdr "./cons.lisp")
 
 (define (shift-add1 x)
   (cons (cdr x) (add1 (cdr x))))

examples/factorial-wrap.scm renamed to examples/factorial-wrap.lisp

@@ -1,7 +1,7 @@
-(import true false if and or not "./boolean.scm")
-(import zero add1 sub1 zero? "./nat-church.scm")
-(import one two three four "./nat-church.scm")
-(import Y "./fix.scm")
+(import true false if and or not "./boolean.lisp")
+(import zero add1 sub1 zero? "./nat-church.lisp")
+(import one two three four "./nat-church.lisp")
+(import Y "./fix.lisp")
 
 (define (even? n)
   (if (zero? n) true

examples/factorial-wrap.scm.out renamed to examples/factorial-wrap.lisp.out

@@ -1,4 +1,4 @@
-(import Y "./fix.scm")
+(import Y "./fix.lisp")
 
 ;; Scott Encoding of Natural Number
 

examples/factorial.scm renamed to examples/factorial.lisp

@@ -1,4 +1,4 @@
-(import id compose (rename compose c) "./compose.scm")
+(import id compose (rename compose c) "./compose.lisp")
 
 (assert-equal
   (compose

examples/factorial.scm.out renamed to examples/factorial.lisp.out

@@ -16,8 +16,8 @@
     "build": "tsc",
     "build:watch": "tsc --watch",
     "test:node": "node --test lib/**/*.test.js",
-    "test:lang": "test-runner snapshot 'node ./lib/main.js run' 'examples/**/*.scm' --exclude 'examples/**/*.error.scm'",
-    "test:lang:error": "test-runner snapshot-error 'node ./lib/main.js run' 'examples/**/*.error.scm'",
+    "test:lang": "test-runner snapshot 'node ./lib/main.js run' 'examples/**/*.lisp' --exclude 'examples/**/*.error.lisp'",
+    "test:lang:error": "test-runner snapshot-error 'node ./lib/main.js run' 'examples/**/*.error.lisp'",
     "test": "npm run test:node && npm run test:lang && npm run test:lang:error",
     "format": "prettier src --write"
   },