Home
There're always some ideas I learn, forget and relearn. So to conclude as some posts here:- 2024-03-20 - De Bruijn Indices, in TAPL or PLFA style?
- 2023-09-19 - Snippets of QuickCheck In Haskell
- 2023-08-23 - \x.x Is Not Polymorphic?
- 2023-08-17 - Snippets of Lens In Haskell
- 2023-07-27 - What Is First Class Label?
- 2023-07-12 - What Is Abstracting Binding Trees?
- 2023-06-21 - Relevance Logic and Bidirectional Typing
- 2023-04-27 - Formalise Your Type System, Intrinsically
- 2021-12-25 - On Eliminating Nat
- 2021-11-12 - Occurrence Typing in Typed Racket
- 2021-01-01 - Notes on PLT Redex