Types and Programming Languages

This repository holds haskell implementation of languages found in the Types and Programming Languages book.

Project Roadmap:

1. Untyped Arithmetic Expressions (arith) (chapters 3, 4)
2. Untyped Lambda-Calculus (untyped) (chapters 5 - 7)
3. fulluntyped (chapters 5 - 7)
4. tyarith (chapter 8)
5. simplebool (chapter 10)
6. fullsimple (chapter 9 and 11)
7. fullref (chapter 13, 18)
8. fullerror (chapter 14)
9. rcdsubbot (chapter 15)
10. fullsub (chapters 15 - 17)
11. joinsub (chapter 16)
12. bot (chapter 16)
13. fullequirec (chapter 20)
14. fullisorec (chapter 20)
15. equirec (chapter 21)
16. recon (chapter 22)
17. fullrecon (chapter 22)
18. fullpoly (chapters 23 and 24)
19. fullomega (chapters 23, 29 and 30)
20. fullfsub (chapters 26, 28)
21. fullfomsub (chapters 26, 31)
22. fullfsubref (chapter 27)
23. fullfomsubref (chapter 27)
24. purefsub (chapter 28)
25. fomsub (chapter 31)
26. fullupdate (chapter 32)
27. fomega
28. letexercise
29. joinexercise