namin / staged-miniKanren

staged relational interpreters: running with holes, faster
124 stars 16 forks source link

reified-expand in run-staged #6

Closed michaelballantyne closed 3 years ago