Łukasz Czajka 336a934d18 Normalization by Evaluation (#2038) ... * Closes #2032. * Adds the `juvix dev core normalize` command. * Adds the `:n` command in JuvixCore REPL. * Adds the `--normalize` flag to `juvix dev core read` and `juvix dev core from-concrete`. * Adds `pipeline-normalize` which denotes pipeline steps necessary before normalization. * Adds normalization tests in `tests/VampIR/positive/Core`.		2023-05-15 18:01:40 +02:00
..
Compilation	Add: pragma support (#1997)	2023-04-26 15:26:13 +02:00
Core	Normalization by Evaluation (#2038)	2023-05-15 18:01:40 +02:00
Eval/out	Add FoldTypeSynonyms Transformation to Geb Pipeline and more Geb Tests (#1956)	2023-04-05 10:16:04 +02:00
app-app-lambda.geb	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00
app-case-on.geb	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00
app-fst-pair.geb	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00
app-lambda.geb	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00
basic-app.geb	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00
case-on.geb	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00
lamb.geb	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00
left-unit.geb	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00