Rachel Lambda Samuelsson 7bc4be31c0 did some work on renaming / meta solutions		2023-02-05 17:04:41 +01:00
..
Common.ml	did some work on renaming / meta solutions	2023-02-05 17:04:41 +01:00
Convert.ml	did some work on renaming / meta solutions	2023-02-05 17:04:41 +01:00
Eval.ml	did some work on renaming / meta solutions	2023-02-05 17:04:41 +01:00
Metaenv.ml	did some work on renaming / meta solutions	2023-02-05 17:04:41 +01:00
Renaming.ml	did some work on renaming / meta solutions	2023-02-05 17:04:41 +01:00
Term.ml	forcing of meta variables	2023-02-04 16:58:16 +01:00
Value.ml	forcing of meta variables	2023-02-04 16:58:16 +01:00
dune	added basic parser	2022-09-03 11:06:12 +02:00