notes
(
index
)
Programming Language Foundations in Agda by Philip Wadler in 2018
programming languages
,
computation
links
https://plfa.github.io/
Programming Language Foundations in Agda Philip Wadler – Nextjournal