summaryrefslogtreecommitdiff
path: root/Alpha/Logic.scm
diff options
context:
space:
mode:
Diffstat (limited to 'Alpha/Logic.scm')
-rw-r--r--Alpha/Logic.scm7
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 ()