Fedor Isakov 490abaad0f Typechecking plugin: ensure the highlighting is part of the reactive scheme. Expose errors during highlighting to the user.		2017-09-11 13:17:34 +02:00
..
languages	Typechecking templates: add missing support for primitive types; protect rule applications from running into a cycle on recursive types; git rid of cycles in the typechecking.	2017-08-23 14:33:30 +02:00
solutions	Typechecking plugin: ensure the highlighting is part of the reactive scheme. Expose errors during highlighting to the user.	2017-09-11 13:17:34 +02:00