| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2018-06-10 | Wellfounded induction was not neededHEADmaster | Camil Staps | 2 | -37/+19 | |
| 2018-06-03 | Minor textual enhancements | Camil Staps | 1 | -4/+3 | |
| 2018-05-13 | Minor textual enhancements | Camil Staps | 1 | -4/+2 | |
| 2018-05-13 | Cleanup expression compiler; write basic report | Camil Staps | 3 | -51/+231 | |
| 2018-05-03 | Fake true *reverse* polish notation | Camil Staps | 1 | -8/+11 | |
| 2018-05-03 | Cleanup | Camil Staps | 1 | -22/+13 | |
| 2018-05-03 | Use a `list RPNOp` instead of a `RPN` | Camil Staps | 1 | -35/+18 | |
| 2018-05-03 | Use fmap; cleanup | Camil Staps | 1 | -29/+29 | |
| 2018-05-03 | Generalise to variables | Camil Staps | 1 | -19/+26 | |
| 2018-05-03 | Proven expression compiler/interpreter with elit and eadd | Camil Staps | 1 | -0/+105 | |
| 2018-05-01 | Finish all proofweb exercises | Camil Staps | 2 | -121/+179 | |
| 2018-05-01 | pw10 | Camil Staps | 1 | -37/+77 | |
| 2018-05-01 | Finish pw09 | Camil Staps | 1 | -23/+55 | |
| 2018-04-30 | Solve exercise 8 | Camil Staps | 1 | -31/+120 | |
| 2018-04-24 | Ignore pdf files | Camil Staps | 1 | -0/+1 | |
| 2018-04-24 | Add templates for exercises 8-12 | Camil Staps | 5 | -0/+1104 | |
| 2018-04-24 | Finish pw07 | Camil Staps | 1 | -29/+55 | |
| 2018-04-24 | Template pw07 | Camil Staps | 2 | -0/+208 | |
 |
index : NWI-IMC010-Type-Theory-and-Coq | |
| Files related to NWI-IMC010 Type Theory and Coq, spring 2018, Radboud University Nijmegen. |
| summaryrefslogtreecommitdiff |