Grigorii Kirgizov 85b074d189 Make ListNodeCons migration a bit more restrictive		2019-09-11 13:24:02 +03:00
..
actions.mps	Restructuring the project: consolidate code, moving samples away.	2018-07-14 17:22:07 +02:00
behavior.mps	Run migrations with MPS 2019.2 EAP3.	2019-07-26 17:27:18 +02:00
constraints.mps	Add ListNodeCons DataForm: another constructor for ListNode similar to Haskell's `head:tail` constructor	2019-09-11 13:24:02 +03:00
editor.mps	Fix use case of list matching with any list	2019-09-11 13:24:02 +03: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	Add ListNodeCons DataForm: another constructor for ListNode similar to Haskell's `head:tail` constructor	2019-09-11 13:24:02 +03:00
typesystem.mps	Run migrations with MPS 2019.2 EAP3.	2019-07-26 17:27:18 +02:00