Hacker News new | ask | show | jobs
Programming Language Foundations in Agda (plfa.inf.ed.ac.uk)
2 points by amir 273 days ago