Hi Will! Your talks really left a mark on me and I’ve been playing around with relational programming stuffs ever since. Thank you!

While you’re here... Has there been any progress on support for rational numbers (or other number systems) in pure minikanren? I’ve always wanted to have a crack at it, but have no idea if it has already been done.