| | 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 |
|
