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/coderules/languages/jetbrains.mps.logic
History
Fedor Isakov c66e746e77 Introduce open terms, support ad-hoc polymorphism. 
A term may indicate that it "extends" another open term.
An extended term has essentially the same form as the one
being extended, so that they can be unified.
 		2020-01-20 10:52:39 +01:00
..
generator/template Introduce open terms, support ad-hoc polymorphism. 2020-01-20 10:52:39 +01:00
languageModels Introduce open terms, support ad-hoc polymorphism. 2020-01-20 10:52:39 +01:00
runtime Fix minor bug concerned with CopyUtil 2019-12-18 21:47:06 +03:00
sandbox/classes_jchr Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
Logic.iml Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
jetbrains.mps.logic.mpl Update language version after migrations from mps.logic lang 2019-09-11 13:24:02 +03:00