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