mps-coderules/samples
Fedor Isakov 1e068abe13 Repackage typechecking tests to separate module.
All test data (code) to be contained in j.m.blExt.test module.
The samples are to be kept separately with generation on to demonstrate fewer false negatives
of the new typechecker.
2019-11-06 21:14:12 +01:00
..
fitch Fix the structural errors introduced by a badly run migration. 2019-11-06 12:05:18 +01:00
lambdacalc Fix the structural errors introduced by a badly run migration. 2019-11-06 12:05:18 +01:00
mpscore Repackage typechecking tests to separate module. 2019-11-06 21:14:12 +01:00