Re:Barliman: Prototype of a smart text editor
by ahazred8ta on Saturday July 30, 2016 @10:16PM
(#12195429)
Links: http://minikanren.org/ - https://twitter.com/webyrd - https://en.wikipedia.org/wiki/MiniKanren - http://stackoverflow.com/questions/tagged/minikanren -
[ Parent
| on HN ]
Re:Barliman: Prototype of a smart text editor
by will_byrd on Saturday July 30, 2016 @11:29PM
(#12195617)
Thank 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
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=nFE2E91VDAk