Blog Posts
- De Bruijn indices, in TAPL or PLFA style? Xu Xue 2024-03-20
- \x.x is not polymorphic? Xu Xue 2023-08-23
- Formalise your type system, intrinsically Xu Xue 2023-04-27
- On eliminating nat Xu Xue 2021-12-25
- Occurrence Typing in Typed Racket Xu Xue 2021-11-12
- Notes on PLT Redex Xu Xue 2021-01-01
- Well-founded Recursion
VinaLx
2021-10-01
Generalizing structural recursion for languages with termination checker, part 1 - Learning note of Ltac2
VinaLx
2020-05-03
Organizing what's in the official documentation - Inductive type and W Type
VinaLx
2019-03-10
Generalizing inductive types - Lens - Exploring and Learning - 1
VinaLx
2018-11-28
Introduction / Abstractions of "setter"s and "getter"s. - Adjoint Functor
VinaLx
2018-11-27
Notes on the category theory concept. - C++ Higher-order Meta-function
VinaLx
2018-11-25
Some simple template tricks - Agda Learning Note
VinaLx
2018-06-05
Notes on agda core language and standard library. - Bash Notes
VinaLx
2018-05-07
Notes on the bash language - My C++ Style Guide
VinaLx
2018-03-30
My C++ coding style mostly based on Google C++ Style Guide - Haskell Monad Basic - 5
VinaLx
2017-12-01
Monad Transformer - Haskell Monad Basic - 4
VinaLx
2017-11-25
Reader, Writer and State - Haskell Monad Basic - 3
VinaLx
2017-09-13
Monad and its "super classes" - Haskell Monad Basic - 2
VinaLx
2017-09-08
value and context, basic examples on List, Maybe and Either - Haskell Monad Basic - 1
VinaLx
2017-09-07
motivation, introduction, definition of Monad and the "do" notation