[ffsm8]

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 for one python version - and there are several Python versions linked on the homepage.

[simonw]

In 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]

Thank 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.