Programming Language Foundations in Agda

(plfa.github.io) by solomonb | Oct 18, 2026 | 1 comments on HN