Programming Language Foundations in Agda

(plfa.inf.ed.ac.uk)

2 points | by amir 7 hours ago ago