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/languageModels
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
..
actions.mps Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
behavior.mps Introduce open terms, support ad-hoc polymorphism. 2020-01-20 10:52:39 +01:00
constraints.mps Introduce open terms, support ad-hoc polymorphism. 2020-01-20 10:52:39 +01:00
editor.mps Introduce open terms, support ad-hoc polymorphism. 2020-01-20 10:52:39 +01:00
intentions.mps Run migrations with MPS 2019.2 EAP3. 2019-07-26 17:27:18 +02:00
jetbrains.mps.logic.enumMigration.mps Migration: "update versions in descriptors". 2019-07-30 11:49:26 +02:00
migration.mps Make ListNodeCons migration a bit more restrictive 2019-09-11 13:24:02 +03:00
structure.mps Introduce open terms, support ad-hoc polymorphism. 2020-01-20 10:52:39 +01:00
typesystem.mps Run migrations with MPS 2019.2 EAP3. 2019-07-26 17:27:18 +02:00