add notion on existential types, update interface
[msc-thesis1617.git] / arch.example.tex
2017-07-02 Mart Lubbersadd notion on existential types, update interface
2017-07-02 Mart Lubbersadd factorial example'
2017-06-29 Mart Lubbersrestructure files