| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-05-13 | Cleanup expression compiler; write basic report | Camil Staps | 1 | -51/+59 |
| 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 |
 |
index : NWI-IMC010-Type-Theory-and-Coq | |
| Files related to NWI-IMC010 Type Theory and Coq, spring 2018, Radboud University Nijmegen. |
| summaryrefslogtreecommitdiff |