Here be writings, tagged as "programming-languages".
Remove filter

• 2024-03-19 De Bruijn indices, in TAPL or PLFA style?
• 2021-12-24 On eliminating nat
• 2020-12-31 Notes on PLT Redex