[software-is-art]

Reminds me of miniKanren but with static typing (which I’ve always wanted to see an implementation of).

Will be playing with the various releases of SupGen as you improve it