namin / staged-miniKanrenLinks

multi-stage relational programming for staged relational interpreters: running with holes, faster
132Updated last month

Alternatives and similar repositories for staged-miniKanren

Users that are interested in staged-miniKanren are comparing it to the libraries listed below

Sorting: