diff options
| author | Ben Sima <ben@bsima.me> | 2020-05-04 19:36:02 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2020-05-04 19:36:02 -0700 |
| commit | c55c4d1814a0af427dd170065432c3c5c62b9669 (patch) | |
| tree | e880ca1a12855482025237e2cfc3f5155efb4961 /Alpha/Logic.scm | |
| parent | 4b50c03c9767750fbbd857121d500c3afbfdfdf2 (diff) | |
Scheme hacking
Diffstat (limited to 'Alpha/Logic.scm')
| -rw-r--r-- | Alpha/Logic.scm | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Alpha/Logic.scm b/Alpha/Logic.scm index e438a03..4b160d8 100644 --- a/Alpha/Logic.scm +++ b/Alpha/Logic.scm @@ -1,4 +1,5 @@ ;; my mini kanren impl - basically untested so far +;; TODO: https://github.com/webyrd/faster-miniKanren (define-module (Alpha Logic)) @@ -194,9 +195,9 @@ (if (and n (zero? n)) '() (case-inf (f) '() - [(a) a] - [(a f) (cons (car a) (take (and n (- n 1)) f))] - [(f) (take n f)])))) + [(a) a] + [(a f) (cons (car a) (take (and n (- n 1)) f))] + [(f) (take n f)])))) (define-syntax conda (syntax-rules () |