From c55c4d1814a0af427dd170065432c3c5c62b9669 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Mon, 4 May 2020 19:36:02 -0700 Subject: Scheme hacking --- Alpha/Logic.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'Alpha/Logic.scm') 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 () -- cgit v1.2.3