GitHub - jshickey/tapl-haskell: Automatically exported from code.google.com/p/tapl-haskell

jshickey / tapl-haskell Public

Notifications You must be signed in to change notification settings
Fork 1
Star 4

Automatically exported from code.google.com/p/tapl-haskell

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 77 Commits
arith		arith
bot		bot
common		common
equirec		equirec
fullequirec		fullequirec
fullerror		fullerror
fullisorec		fullisorec
fullref		fullref
fullsimple		fullsimple
fullsub		fullsub
fulluntyped		fulluntyped
generator		generator
rcdsubbot		rcdsubbot
simplebool		simplebool
tyarith		tyarith
untyped		untyped
README		README
tapl-haskell-0.1.tar.gz		tapl-haskell-0.1.tar.gz

Repository files navigation

The goal of this project is to create Haskell ports of the OCaml implementations of "Types and Programming Languages" (TAPL), by Benjamin C. Pierce.  For an overview, see:
 
http://code.google.com/p/tapl-haskell/

It depends on the Parsec and HUnit libraries, which must be separately installed on your system.  These implementations have only been tested using GHC on Ubuntu, with the above libraries installed.
  
To test the entire project, go to the "common" subdirectory and execute "make all-test".  Other global commands (e.g., code generation) are also launched from that directory.