search

plfa / plfa.github.io

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

updated course page #1041

Closed wadler closed 1 month ago

wadler commented 1 month ago

Added timetabling information and Assignment1.