LaTeX style file to typeset functional languages like Haskell
Updated 2013-03-25 06:28:04 +04:00
Classic Algorithm W for type inference.
Updated 2010-03-29 10:44:28 +04:00
Haskell Semantics with Lisp Syntax
Updated 2009-08-26 12:50:00 +04:00