repositories / msc-thesis1617.git / history
| 2017-07-02 | Mart Lubbers | add notion on existential types, update interface | tree | commitdiff |
| 2017-06-23 | Mart Lubbers | change document structure to a more intuitive one | tree | commitdiff |
| 2017-06-19 | Mart Lubbers | update spec yet again | tree | commitdiff |
| 2017-05-10 | Mart Lubbers | update listing, polish arch, dsl and top | tree | commitdiff |
| 2017-03-05 | Mart Lubbers | write a little bit more | tree | commitdiff |