[ docs ] readme change

MarcelineVQ · Sep 7, 2022 · 9566f71 · 9566f71
1 parent 87e8dfa
commit 9566f71
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -3,11 +3,12 @@ TimeIt
 
 Plain simple timing for HasIO actions
 
-```idris
-
-import TimeIt
-
-:exec timeIt "Woof" $ traverse (\n => sleep n <* printLn n) [3,1,2]
+```
+Main> :module TimeIt
+Main> :module System
+Main> :exec timeIt "Woof" $ traverse (\n => sleep n <* printLn n) [3,1,2]
+```
+```
 3
 1
 2