Fedor Isakov
|
fc1c5b8021
|
Drop project libraries, switch to using the plugin for loading CR modules.
|
2021-02-13 10:25:24 +01:00 |
|
grigorii.kirgizov
|
4eab15c0a3
|
lc: add DemoScopes test case, fix one test example; reverse displayed order of user-supplied type annotations
|
2019-01-09 12:49:34 +03:00 |
|
Fedor Isakov
|
a240f129c2
|
Name solutions and models consistently in samples (lambdacalc)
|
2018-07-22 11:26:12 +02:00 |
|
Fedor Isakov
|
689ae4776c
|
Give more sensible name to a sample demo solution and model.
|
2018-07-21 13:49:21 +02:00 |
|
Fedor Isakov
|
e29a0576e2
|
Rename the root project and artifacts to "coderules".
|
2018-07-18 15:54:52 +02:00 |
|
Fedor Isakov
|
0d4d61d5f9
|
Change the sample project name to lambdacalc.
|
2018-07-18 15:54:50 +02:00 |
|
Fedor Isakov
|
78a0601625
|
Include lambdacalc sample into the common build.
|
2018-07-18 15:54:50 +02:00 |
|
Fedor Isakov
|
07d31d93f6
|
Updated to the latest version of typechecking plugin, migrated the code to work correctly.
|
2018-07-18 15:54:49 +02:00 |
|
Fedor Isakov
|
58c4272111
|
Rename the language to sample.lambdacalc
|
2018-07-18 15:54:49 +02:00 |
|
Fedor Isakov
|
2f32a72527
|
Switched to the latest RC build, applied the migrations.
|
2018-07-18 15:54:48 +02:00 |
|
Fedor Isakov
|
8f1abd0388
|
Migrated to the latest MPS EAP build.
|
2018-07-18 15:54:48 +02:00 |
|
Fedor Isakov
|
e9c3191a59
|
Initial commit. A simple functional language with numeric and string constants, single-argument abstractions and let bindings.
|
2018-07-18 15:54:47 +02:00 |