search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.36k stars 307 forks source link

add Assignment5 #938

Closed wadler closed 10 months ago

wadler commented 10 months ago

Should be released as soon as possible.