FernandoChu / tapl-hakell

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

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

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Haskell 94.1%Language:TeX 4.0%Language:Yacc 2.0%