greghendershott / webmk

miniKanren for interactive tutorials on the web

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 ==)