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

update web/TableOfContents #1036

Closed wadler closed 2 months ago

wadler commented 2 months ago

Added link to TSPL 2024.