Hirrolot personal blog
How to keep lambda calculus simple
Once upon a time, my curiosity of dependent types transitioned into an endeavour to learn how they work under the bonnet. Then I found the paper called “A Tutorial Implementation of a Dependently Typed Lambda Calculus” or just “Simply Easy” – and began reading it. However, the affairs happening there were so complex…
- Points
- 107
- HN comments
- 33
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 8, 2023 | How to keep lambda calculus simple by azhenley | 107 | 33 |
