I have a feature request for the https://minikanren.org/ website: just one prominent block of example code on that homepage (as early as possible) would be REALLY useful for helping understand at a glance what kind of language this is.
I even clicked through quite a few of those prominent early links and didn't find a code example!
I even clicked through quite a few of those prominent early links and didn't find a code example!