Binding Application in Idris
(news.ycombinator.com)
1.
2.
Implementing Logic Programming
(news.ycombinator.com)