| | Parsing layout, or: Haskell's syntax is a mess (amelia.how) |
| 3 points by fanf2 9 months ago | past |
|
| | Efficient Instance Resolution for Agda (amelia.how) |
| 2 points by matt_d on March 10, 2024 | past |
|
| | Parsing layout – problems with Haskell's syntax (2021) (amelia.how) |
| 54 points by g0xA52A2A on Jan 9, 2023 | past | 6 comments |
|
| | The Semantics of Evaluation and Continuations (amelia.how) |
| 3 points by g0xA52A2A on March 6, 2022 | past |
|
