#type-level-programming

1. Config constraints in the type system where they belong

   2019-09-17 #typescript #type-level-programming #shitpost

2. Reading Ur/Web signatures, part 1

   2019-01-07 #urweb #type-level-programming

3. Overthinking cash in TypeScript

   2018-11-11 #typescript #type-level-programming