update README

inventor02 · Mar 12, 2023 · 6cd85cf · 6cd85cf
1 parent 21e0f34
commit 6cd85cf
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -9,4 +9,8 @@ heavily on lectures and material from Dr Julian Rathke.
 T ::= Int | Bool | T -> T | (T, T)
 
 E ::= $digits | true | false | (E, E) | E < E | E + E | $varname | if E then E else E | \($varname : T) E | let ($varname : T) = E in E | E E
-```
+```
+
+## Usage
+
+You can either execute the `toyi` binary, or run `toy <filename>` where `<filename>` is a λToy program file.