2 Commits

Author	SHA1	Message	Date
Juraj Kirchheim	53868cc6f3	Some fumbling with isSubTypeOf and add test for final.	2019-03-03 17:13:04 +01:00
Juraj Kirchheim	1f986c3732	VSCode setup.	2017-04-13 20:57:29 +02:00