2 ms·
Links: http://minikanren.org/ http://minikanren.org/ - https://twitter.com/webyrd https://twitter.com/webyrd - https://en.wikipedia.org/wiki/MiniKanren https
by ahazred8ta 10y ago
Links: http://minikanren.org/ http://minikanren.org/ - https://twitter.com/webyrd https://twitter.com/webyrd - https://en.wikipedia.org/wiki/MiniKanren https://en.wikipedia.org/wiki/MiniKanren - http://stackoverflow.com/questions/tagged/minikanren http://stackoverflow.com/questions/tagged/minikanren -
- will_byrd 10y agoThank you for posting the links! For anyone interested in how the relational interpreter powering Barliman works, here is a short talk I gave at PolyConf last year: https://www.youtube.com/watch?v=eQL48qYDwp4 https://www.youtube.com/watch?v=eQL48qYDwp4 And here is a much more in-depth two-part talk I gave at Lambda Lounge Utah: https://www.youtube.com/watch?v=zHov3fKYqBA https://www.youtube.com/watch?v=zHov3fKYqBA https://www.youtube.com/watch?v=nFE2E91VDAk https://www.youtube.com/watch?v=nFE2E91VDAk