3 ms·
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
by software-is-art 2y ago
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