Programming Language Foundations in Agda

 (plfa.github.io)

2 points | by solomonb 12 hours ago ago

No comments yet.