natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/samples
History
Fedor Isakov 7fe773dcc2 Switch all type aspects in mpscore sample to typechecking terms 
This includes dropping of Recover rule table and relying on
the automatic types recovery.
 		2022-07-28 10:30:38 +02:00
..
controlflow/jetbrains.mps.baseLanguageExt2 Migrate to the latest MPS release, apply migrations 2021-06-18 18:41:01 +02:00
fitch Switch fitch sample to typechecking terms/queries 2022-07-28 10:30:37 +02:00
lambdacalc Switch lambdac sample to typechecking queries 2022-07-28 10:30:37 +02:00
mpscore Switch all type aspects in mpscore sample to typechecking terms 2022-07-28 10:30:38 +02:00