There is a video where minikanren is used to go from data to programs. That is, given data, it generates the program that generates the data.
So is it possible to generate a universal function such as eval? What data would have to be passed to it?
Asked
Active
Viewed 52 times
1
-
I can say more if you link the video, but you might find [this](https://github.com/webyrd/Barliman) interesting – brj Oct 04 '20 at 20:21
-
"running programs backwards" https://www.youtube.com/watch?v=kS_2_-E_JjU – X10D Oct 29 '20 at 19:17