Presentation Slides
DTP
| Erik, Paul | Equational reasoning (code) | Sep 30 |
| Mathijs, Tom | Eliminators | Oct 2 |
| Chris, Sebas | Type Rules | Oct 2 |
| Joeri, Jeroen | Decidable equality | Oct 7 |
| Sebas | Decidable Equality on Lists + Negative Data Types | Oct 13 |
| Erik | Compiling Agda code | Oct 16 |
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 pdf | deceq-spadt.pdf | manage | 45.2 K | 20 Oct 2008 - 14:43 | SebastiaanVisser | Decidable Equality on Lists - Negative Data Types |
| pdf | presentatie-DecEq.pdf | manage | 121.5 K | 07 Oct 2008 - 20:47 | JeroenLeeuwestein | Presentation on Decidable Equality |
| pdf | type-rules.pdf | manage | 56.7 K | 04 Oct 2008 - 19:43 | SebastiaanVisser | Type Rules |