/tagless-minikanren

Implementation of miniKanren in tagless-final style (WIP)

Primary LanguageHaskellOtherNOASSERTION

Stargazers