Programming Language Foundations in Agda

Article URL: https://plfa.github.io/

Comments URL: https://news.ycombinator.com/item?id=17859484

Points: 7

# Comments: 0

from Hacker News: Front Page https://plfa.github.io/
via