minikanren is an actively used programming language created in 2013.
- the minikanren website
- minikanren on github
- minikanren first appeared in 2013
- the minikanren team is on twitter
- Have a question about minikanren not answered here? Email me and let me know how I can help.
Last updated January 25th, 2020