| user: | sargstuff |
| created: | November 1, 2021 |
| karma: | 850 |
| 1. | Sketching with Math and Quasi Physics (2022)(kyndinfo.notion.site) |
| 2. | A Simpler Lambda Calculus (2019)(dl.acm.org) |
| 3. | Pantograph(github.com) |
| 4. | Structure Editors(github.com) |
| 5. | Models and theories of lambda calculus (2009)(inria.hal.science) |
| 6. | |
| 7. | 21 days ago | discuss |