lys_language

Part II Project 2022/2023: Type-safe multi-stage programming with Lys

Setup & Run the Lys interpreter

First, install the dependencies:

opam install

Then, to execute a lys program:

dune exec lys -- FILENAME -interpreter [m|mt|s|ss|ssv]

and to open the REPL:

dune exec lys_repl -- -interpreter [m|mt|s|ss|ssv] -withfile FILENAME

Available interpreters:

• m: multi-step interpreter
• mt: multi-step interpreter instrumented with execution time information
• s: single-step interpreter
• ss: single-step interpreter with reduction step count
• ssv: single-step interpreter with reduction step count and in verbose mode (so with a dump of the reduction steps)

License

This project is licensed under the MIT License. See LICENSE for details.