Select Git revision
src
-
-
- Open in your IDE
- Download source code
- Download this directory
Stéphane Del Pino authored
Expression processor are now defined. Evaluation works for some simple functions. Functions such as `f : X -> X, x -> expression` is close to being functional