forked from plfa/plfa.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF.
License
jphmrst/PLC
ErrorLooks like something went wrong!
About
An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF.
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Agda 69.9%
- TeX 25.9%
- SCSS 1.6%
- HTML 0.8%
- Shell 0.6%
- Makefile 0.5%
- Other 0.7%