aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/README.md b/README.md
index 2971b4c..2cce7bf 100644
--- a/README.md
+++ b/README.md
@@ -19,7 +19,11 @@ Unlimited Register Machine in OCaml.
19 19
20## Usage 20## Usage
21 21
22TODO: describe usage of the `urm` program. 22```
23./urm <run | trace> <program file> <initial register state file>
24```
25
26Examples programs are provided in the `examples` folder.
23 27
24 28
25## Authors 29## Authors