Commit 4dfe04b6 authored by Frontull Samuel's avatar Frontull Samuel
Browse files

updated readme

parent 42f84431
Master Thesis Project
# Alpha Avoidance
This project has following requirements:
......@@ -16,7 +15,7 @@ opam install dune
That's it. To run the `main.ml` file type
```
dune exec bin/main.exe max_depth simultaneous term_str
dune exec bin/main.exe max_depth simultaneous dot term_str
```
- max_depth: is the max number of compositions in the computation of the legal paths
......@@ -33,7 +32,7 @@ The `lib` folder contains the source code.
- `dot.ml` implements all the stuff needed to generate the dot-files.
- `terms.ml` contains example terms that can be used for testing
- `safe.ml` - Safe Lambda Calculus
- `underlined.ml` - Underline Lambda Calculus
- `underlined.ml` - Underlined Lambda Calculus
- `untyped.ml` - Untyped Lambda Calculus
## DOT files
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment