oops, missed something :)

HigherOrderCO · Feb 27, 2024 · 0001ad7 · 0001ad7
1 parent 7fdf441
commit 0001ad7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -58,9 +58,9 @@ A massively parallel Interaction Combinator evaluator
 
 Examples: 
 $ hvmc run examples/church_encoding/church.hvm
-$ hvmc run tests/programs/addition.hvmc "#16" "#3"
-$ hvmc compile tests/programs/addition.hvmc
-$ hvmc reduce tests/programs/addition.hvmc -- "a & @mul ~ (#3 (#4 a))"
+$ hvmc run examples/addition.hvmc "#16" "#3"
+$ hvmc compile examples/addition.hvmc
+$ hvmc reduce examples/addition.hvmc -- "a & @mul ~ (#3 (#4 a))"
 $ hvmc reduce -- "a & #3 ~ <* #4 a>""##
 )]
 struct FullCli {