This repo contains solved exercises for plfa. Don't read it if you do not want to spoil it.
Go to the book for the good stuff.
forked from plfa/plfa.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
An introduction to programming language theory in Agda (Solved exercises, DON'T READ IT IF YOU DON'T WANNA SPOIL IT)
License
crisoagf/plfa.github.io
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An introduction to programming language theory in Agda (Solved exercises, DON'T READ IT IF YOU DON'T WANNA SPOIL IT)
Resources
License
Stars
Watchers
Forks
Languages
- HTML 88.2%
- Agda 7.2%
- TeX 3.4%
- CSS 0.5%
- Haskell 0.2%
- SCSS 0.2%
- Other 0.3%