From def8cb82321c1a10a90a459a60fb25037ae4b958 Mon Sep 17 00:00:00 2001 From: Edsko de Vries Date: Thu, 1 Aug 2024 10:38:56 +0200 Subject: [PATCH] Fix README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 878cb47..4216bad 100644 --- a/README.md +++ b/README.md @@ -23,7 +23,7 @@ The syntax is not _quite_ Haskell, but hopefully it should be pretty self-explan We can step through the evaluation of this program using ``` -visualize-cbn -i examples/fac.hs --show-trace --hide-prelude +visualize-cbn -i examples/fac.hs --show-trace --hide-prelude 0 ``` This will result in something like