summaryrefslogtreecommitdiff
path: root/examples/abacus
diff options
context:
space:
mode:
Diffstat (limited to 'examples/abacus')
-rwxr-xr-xexamples/abacus/reading.lali62
-rwxr-xr-xexamples/abacus/writing.lali62
2 files changed, 62 insertions, 62 deletions
diff --git a/examples/abacus/reading.lali b/examples/abacus/reading.lali
index 6663bb3..2f34f00 100755
--- a/examples/abacus/reading.lali
+++ b/examples/abacus/reading.lali
@@ -4,47 +4,47 @@
;; functions
(defun random-number (cases)
(fill
- ((dif cases +0) (cons (random +9) ()))
+ ((diff cases +0) (cons (random +9) ()))
(f (cons (random +9) (random-number (- cases +1))))))
(defun number-to-symbol (num)
(fill
- ((dif +0 num) '0)
- ((dif +1 num) '1)
- ((dif +2 num) '2)
- ((dif +3 num) '3)
- ((dif +4 num) '4)
- ((dif +5 num) '5)
- ((dif +6 num) '6)
- ((dif +7 num) '7)
- ((dif +8 num) '8)
- ((dif +9 num) '9)))
+ ((diff +0 num) '0)
+ ((diff +1 num) '1)
+ ((diff +2 num) '2)
+ ((diff +3 num) '3)
+ ((diff +4 num) '4)
+ ((diff +5 num) '5)
+ ((diff +6 num) '6)
+ ((diff +7 num) '7)
+ ((diff +8 num) '8)
+ ((diff +9 num) '9)))
(defun number-to-earth-rod (num)
(fill
- ((dif +0 num) "[@-@][@@@@-@]")
- ((dif +1 num) "[@-@][@@@-@@]")
- ((dif +2 num) "[@-@][@@-@@@]")
- ((dif +3 num) "[@-@][@-@@@@]")
- ((dif +4 num) "[@-@][-@@@@@]")
- ((dif +5 num) "[-@@][@@@@-@]")
- ((dif +6 num) "[-@@][@@@-@@]")
- ((dif +7 num) "[-@@][@@-@@@]")
- ((dif +8 num) "[-@@][@-@@@@]")
- ((dif +9 num) "[-@@][-@@@@@]")))
+ ((diff +0 num) "[@-@][@@@@-@]")
+ ((diff +1 num) "[@-@][@@@-@@]")
+ ((diff +2 num) "[@-@][@@-@@@]")
+ ((diff +3 num) "[@-@][@-@@@@]")
+ ((diff +4 num) "[@-@][-@@@@@]")
+ ((diff +5 num) "[-@@][@@@@-@]")
+ ((diff +6 num) "[-@@][@@@-@@]")
+ ((diff +7 num) "[-@@][@@-@@@]")
+ ((diff +8 num) "[-@@][@-@@@@]")
+ ((diff +9 num) "[-@@][-@@@@@]")))
(defun number-to-air-rod (num)
(fill
- ((dif +0 num) "[@-@@@@][@-@]")
- ((dif +1 num) "[@@-@@@][@-@]")
- ((dif +2 num) "[@@@-@@][@-@]")
- ((dif +3 num) "[@@@@-@][@-@]")
- ((dif +4 num) "[@@@@@-][@-@]")
- ((dif +5 num) "[@-@@@@][@@-]")
- ((dif +6 num) "[@@-@@@][@@-]")
- ((dif +7 num) "[@@@-@@][@@-]")
- ((dif +8 num) "[@@@@-@][@@-]")
- ((dif +9 num) "[@@@@@-][@@-]")))
+ ((diff +0 num) "[@-@@@@][@-@]")
+ ((diff +1 num) "[@@-@@@][@-@]")
+ ((diff +2 num) "[@@@-@@][@-@]")
+ ((diff +3 num) "[@@@@-@][@-@]")
+ ((diff +4 num) "[@@@@@-][@-@]")
+ ((diff +5 num) "[@-@@@@][@@-]")
+ ((diff +6 num) "[@@-@@@][@@-]")
+ ((diff +7 num) "[@@@-@@][@@-]")
+ ((diff +8 num) "[@@@@-@][@@-]")
+ ((diff +9 num) "[@@@@@-][@@-]")))
;; main
(defun main ()
diff --git a/examples/abacus/writing.lali b/examples/abacus/writing.lali
index 17fd7c4..4876582 100755
--- a/examples/abacus/writing.lali
+++ b/examples/abacus/writing.lali
@@ -4,47 +4,47 @@
;; functions
(defun random-number (cases)
(fill
- ((dif cases +0) (cons (random +9) ()))
+ ((diff cases +0) (cons (random +9) ()))
(f (cons (random +9) (random-number (- cases +1))))))
(defun number-to-symbol (num)
(fill
- ((dif +0 num) '0)
- ((dif +1 num) '1)
- ((dif +2 num) '2)
- ((dif +3 num) '3)
- ((dif +4 num) '4)
- ((dif +5 num) '5)
- ((dif +6 num) '6)
- ((dif +7 num) '7)
- ((dif +8 num) '8)
- ((dif +9 num) '9)))
+ ((diff +0 num) '0)
+ ((diff +1 num) '1)
+ ((diff +2 num) '2)
+ ((diff +3 num) '3)
+ ((diff +4 num) '4)
+ ((diff +5 num) '5)
+ ((diff +6 num) '6)
+ ((diff +7 num) '7)
+ ((diff +8 num) '8)
+ ((diff +9 num) '9)))
(defun number-to-earth-rod (num)
(fill
- ((dif +0 num) "[@-@][@@@@-@]")
- ((dif +1 num) "[@-@][@@@-@@]")
- ((dif +2 num) "[@-@][@@-@@@]")
- ((dif +3 num) "[@-@][@-@@@@]")
- ((dif +4 num) "[@-@][-@@@@@]")
- ((dif +5 num) "[-@@][@@@@-@]")
- ((dif +6 num) "[-@@][@@@-@@]")
- ((dif +7 num) "[-@@][@@-@@@]")
- ((dif +8 num) "[-@@][@-@@@@]")
- ((dif +9 num) "[-@@][-@@@@@]")))
+ ((diff +0 num) "[@-@][@@@@-@]")
+ ((diff +1 num) "[@-@][@@@-@@]")
+ ((diff +2 num) "[@-@][@@-@@@]")
+ ((diff +3 num) "[@-@][@-@@@@]")
+ ((diff +4 num) "[@-@][-@@@@@]")
+ ((diff +5 num) "[-@@][@@@@-@]")
+ ((diff +6 num) "[-@@][@@@-@@]")
+ ((diff +7 num) "[-@@][@@-@@@]")
+ ((diff +8 num) "[-@@][@-@@@@]")
+ ((diff +9 num) "[-@@][-@@@@@]")))
(defun number-to-air-rod (num)
(fill
- ((dif +0 num) "[@-@@@@][@-@]")
- ((dif +1 num) "[@@-@@@][@-@]")
- ((dif +2 num) "[@@@-@@][@-@]")
- ((dif +3 num) "[@@@@-@][@-@]")
- ((dif +4 num) "[@@@@@-][@-@]")
- ((dif +5 num) "[@-@@@@][@@-]")
- ((dif +6 num) "[@@-@@@][@@-]")
- ((dif +7 num) "[@@@-@@][@@-]")
- ((dif +8 num) "[@@@@-@][@@-]")
- ((dif +9 num) "[@@@@@-][@@-]")))
+ ((diff +0 num) "[@-@@@@][@-@]")
+ ((diff +1 num) "[@@-@@@][@-@]")
+ ((diff +2 num) "[@@@-@@][@-@]")
+ ((diff +3 num) "[@@@@-@][@-@]")
+ ((diff +4 num) "[@@@@@-][@-@]")
+ ((diff +5 num) "[@-@@@@][@@-]")
+ ((diff +6 num) "[@@-@@@][@@-]")
+ ((diff +7 num) "[@@@-@@][@@-]")
+ ((diff +8 num) "[@@@@-@][@@-]")
+ ((diff +9 num) "[@@@@@-][@@-]")))
;; main
(defun main ()