diff options
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 () |