Fedor Isakov d2ca45aa02 Extract bootstrap code to idea plugin; CR options to become app-level ... CR typechecking options are now application-level. The solution j.m.c.ideaplugin contains the code responsible for accessing and setting the options. This solution is loaded as IDEA plugin on deploy and as regular module in source project. Also merge code from two modules into j.m.c.typechecking.		2022-08-25 12:59:36 +02:00
..
samples.lambdacalc.build	Extract bootstrap code to idea plugin; CR options to become app-level	2022-08-25 12:59:36 +02:00
samples.lambdacalc.demo	Migrate to the latest MPS release, apply migrations	2021-06-18 18:41:01 +02:00