3 ms·
This is also intimately connected with Ed Kmett's Guanxi project https://www.youtube.com/watch?v=D7rlJWc3474 https://www.youtube.com/watch?v=D7rlJWc3474 https
by philzook 7y ago
This is also intimately connected with Ed Kmett's Guanxi project
https://www.youtube.com/watch?v=D7rlJWc3474 https://www.youtube.com/watch?v=D7rlJWc3474
https://github.com/ekmett/guanxi https://github.com/ekmett/guanxi
My understanding is he is using ideas from propagators and other places to make a performant logic programming framework in Haskell.