mps-coderules/samples
Grigorii Kirgizov a2d28e566a Tried to reproduce MPSCR-50 -- typechecking works okey, problem lies elsewhere 2020-03-12 10:36:26 +03:00
..
fitch Apply migration to replace deprecated concept. 2020-02-26 15:03:31 +01:00
lambdacalc Apply migration to replace deprecated concept. 2020-02-26 15:03:31 +01:00
mpscore Tried to reproduce MPSCR-50 -- typechecking works okey, problem lies elsewhere 2020-03-12 10:36:26 +03:00