mps-coderules/typesystem2
Fedor Isakov 9e8c5145d3 Add a missing dependency, fix the error. 2017-06-12 21:55:53 +02:00
..
languages Add a missing dependency, fix the error. 2017-06-12 21:55:53 +02:00
solutions Rename solution "typesystem2.test" to "typechecking.test". 2017-06-12 19:01:49 +02:00