notes
(
index
)
nextjournal
Links to this note
Programming Language Foundations in Agda by Philip Wadler in 2018