Commit 7ab65e0c authored by Frontull Samuel's avatar Frontull Samuel
Browse files

updated readme

parent 3dd08b84
......@@ -15,14 +15,16 @@ opam install dune
That's it. To run the `main.ml` file type
```
dune exec bin/main.exe max_depth simultaneous dot term_str
dune exec bin/main.exe max_depth term_str
```
- max_depth: is the max number of compositions in the computation of the legal paths
- simultaneous: `true` or `false`, denotes whether simultaneous substitution is applied
- dot: `true` or `false`, denotes whether you want to generate a dot file
- term_str: is a term in quotes in the format `UT = (UT) | /x ... y.UT | UT ... UT | x`, e.g. `"(/x.x z) y"`
## Web Tool
You can also take a look at the web tool: [http://195.201.17.253:5050/](http://195.201.17.253:5050/)
## Library
The `lib` folder contains the source code.
......
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