3 ms·
Is that even possible for something like this? You've got a pretty long list of implementations, each having its own language specific syntax, e.g. https://gith
by ffsm8 2y ago
Is that even possible for something like this? You've got a pretty long list of implementations, each having its own language specific syntax, e.g. https://github.com/pythological/kanren https://github.com/pythological/kanren for one python version - and there are several Python versions linked on the homepage.
- simonw 2y agoIn that case an example box with tabs at the top - "miniKanren in Python / Go / Ruby" or whatever - would really help illustrate that point.
- will_byrd 2y agoThank you for the feedback! We are working on a new version of the website, with HTTPS, and with better examples and a better layout. I love your blog posts on LLMs, BTW! We've been experimenting with combining LLMs and miniKanren in various ways.