| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| dependent-rpn | WIP | Camil Staps | 8 years | |
| master | Wellfounded induction was not needed | Camil Staps | 8 years | |
 |
index : NWI-IMC010-Type-Theory-and-Coq | |
| Files related to NWI-IMC010 Type Theory and Coq, spring 2018, Radboud University Nijmegen. |
| summaryrefslogtreecommitdiff |