Fedor Isakov b5de53e27f Fix type inference for untyped parameters; minor refactorings ... Ensure nothing() type can be converted to any type. Use the value "site" in capture() term to ensure capture types don't get matched with `==`. Also, avoid eagerly dropping resolveVar cint.		2022-11-21 10:50:00 +01:00
..
controlflow/jetbrains.mps.baseLanguageExt2	Migrate to the latest MPS release, apply migrations	2021-06-18 18:41:01 +02:00
fitch	Rebuild build scripts	2022-09-02 16:42:08 +02:00
lambdacalc	Rebuild build scripts	2022-09-02 16:42:08 +02:00
mpscore	Fix type inference for untyped parameters; minor refactorings	2022-11-21 10:50:00 +01:00