Fedor Isakov 29c9a50fa9 Use built-in BL's intersection type instead of meet type		2022-08-16 18:11:49 +02:00
..
controlflow/jetbrains.mps.baseLanguageExt2	Migrate to the latest MPS release, apply migrations	2021-06-18 18:41:01 +02:00
fitch	Cleanup imports	2022-07-28 10:30:38 +02:00
lambdacalc	Switch lambdac sample to typechecking queries	2022-07-28 10:30:37 +02:00
mpscore	Use built-in BL's intersection type instead of meet type	2022-08-16 18:11:49 +02:00