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 991ae30ef7 Introduce typeVarBound constraint to handle typevar bounds. 
Since it's no longer possible to have cyclic terms,
the term for type variable type has to be refactored:
the bound information is attached via typeVarBound constraint
on the type.
 		2020-03-10 14:31:23 +01: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 Introduce typeVarBound constraint to handle typevar bounds. 2020-03-10 14:31:23 +01:00