issues
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
set up TSPL 2024 course page
#1032
Closed
wadler
closed
3 weeks ago
wadler
commented
3 weeks ago
set up TSPL 2024 course page
set up TSPL 2024 course page