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

update TSPL/2024 #1035

Closed wadler closed 2 weeks ago

wadler commented 2 weeks ago

Added (Fall 2024) to title, and added some italics to key descriptions of assessment.