Hacker News new | past | comments | ask | show | jobs | submit | from login

Programming Language Foundations in Agda (plfa.github.io) 83 points by blewboarwastake on Jan 22, 2021 | past | 5 comments Programming Language Foundations in Agda – Part 3: Denotational Semantics (plfa.github.io) 1 point by matt_d on July 15, 2020 | past Programming Language Foundations in Agda (plfa.github.io) 2 points by vincent_s on July 1, 2020 | past Programming Language Foundations in Agda (plfa.github.io) 156 points by myth_drannon on Aug 28, 2018 | past | 4 comments

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: