type-checking Questions
0 | Last 7 Days | 0% unanswered |
1 | Last 30 Days | 100% unanswered |
12 | All Time | 8.3% unanswered |
Related Tags
type-checking × 12dependent-type × 5
coq × 3
lean3 × 2
lean × 1
lean4 × 1
beginner × 1
design × 1
errors × 1
bugs × 1
module × 1
bidirectional-typing × 1
extensional-type-theory × 1
idris × 1