Name		Name	Last commit message	Last commit date
LICENSE		LICENSE
README.md		README.md
micro-in-mini-tests.rkt		micro-in-mini-tests.rkt
micro-in-mini.rkt		micro-in-mini.rkt

Repository files navigation

micro-in-mini

an implementation of a microKanren(-like language) in miniKanren

About

an implementation of a microKanren(-like language) in miniKanren

27 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages