miniKanren for interactive tutorials on the web
Scheme HTML Shell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.io.livecode.ch
LICENSE
README.md
matche.scm
mk.scm
numbers.scm
run-tests.scm
test-check.scm

README.md

webmk

miniKanren for interactive tutorials on the web

Features:

extended run and run* interface (see run-tests.scm)

=/=

absento

symbolo

numbero

eigen (beware--only works with ==)