~siiky/experiments

b7ea1966b987d569281da1f351d9fb6c277f1a87 — siiky 9 months ago 29c34da
Let tiny-prolog compare more Scheme types
1 files changed, 1 insertions(+), 1 deletions(-)

M rsdb/tiny-prolog.scm
M rsdb/tiny-prolog.scm => rsdb/tiny-prolog.scm +1 -1
@@ 126,7 126,7 @@
                  (pair? y))
                (let ((new (unify (car x) (car y) env)))
                  (and new (unify (cdr x) (cdr y) new))))
            ((eq? x y) env)
            ((equal? x y) env)
            (else      #f))))

  (define (check-args g n)