Communities (18)
Top network posts
- 33 What is Axiom K?
- 15 What else can you do in the turn you ready an action?
- 12 Is it possible to get hold of free theorems as propositional equalities?
- 9 Why we cannot pattern match on Set/Type in Coq/Agda/Idris?
- 6 Is this battlemaster houserule balanced?
- 6 How to scale up exploration challenges to mid and high levels?
- 6 What's the effect of imposing the following restriction on inductive type families?
- View more network posts →