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