Programming Language Foundations in Agda

(plfa.github.io)

2 points | by solomonb 12 hours ago ago