Top network posts
- 10 Strange tilde syntax
- 9 Relational v Hierarchical data models
- 7 differences: GADT, data family, data family that is a GADT
- 7 rigid type variable trouble/suspect Impredicativity
- 7 Curry Howard correspondence to Predicate Logic?
- 6 GADTs for a DSL: swings and roundabouts?
- 5 Type Theory and Principia Mathematica Part IV "Relation Arithmetic"
- View more network posts →