w-type Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
3 | All Time | 0% unanswered |
Related Tags
w-type × 3inductive-type × 2
dependent-type × 1
agda × 1
reference-request × 1
universe × 1
natural-numbers × 1
Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack ExchangeTeams
Learn more about Teams0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
3 | All Time | 0% unanswered |