Comment Comment by ashton314 I did a detailed write-up of implementing miniKanren here:https://codeberg.org/ashton314/microKanrenBy the end of it, I implement a small type checker that, when you run it backwards (by giving the checker a type), it proceeds to enumerate programs that inhabit that type! parent ashton314 1 year ago
https://codeberg.org/ashton314/microKanren
By the end of it, I implement a small type checker that, when you run it backwards (by giving the checker a type), it proceeds to enumerate programs that inhabit that type!