search

namin / staged-miniKanren

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

Documentation #4

Closed l-zharmukhametova closed 3 years ago

namin commented 3 years ago

Would it make sense to also put the latex?