/tapl-hakell

Implementation in Haskell of Benjamin Pierce's Types and Programing Languages book

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

tapl-haskell

The languages were made using BNF, specifically calling bnfc -d -m Lang.cf && make, where Lang.cf is one of the file .cf files on the src/LBNF folder. The respective generated makefiles are stored there too. The Doc.pdf where generated by using txt2tags --target=tex Doc.txt and pdflatex Doc.tex.