2 Commits

Author SHA1 Message Date
Jorge Aparicio
6c4f3f512e update UI test 2018-09-06 23:01:35 +02:00
Oliver Schneider
53d2ebb0ad Implement existential types 2018-07-18 10:53:08 +02:00