Learning Prolog to be a better Haskell programmer February 17, 2014June 5, 2016 kseo Haskell Curry-Howard Isomorphism, Haskell, Prolog, type level programming http://kseo.github.io/posts/2014-02-17-learning-prolog-to-be-a-better-haskell-programmer.html
