3 Commits

Author	SHA1	Message	Date
Mark Rousskov	2a663555dd	Remove licenses	2018-12-25 21:08:33 -07:00
ms2300	f4d4faaeed	Fixing tests from anon -> opaque	2018-09-06 11:43:31 -06:00
Oliver Schneider	9b1bd94e37	Add existential type definitons	2018-06-07 17:33:53 +02:00