From 9566f71e9e7a68e8da4a30b8318f40099dda5c11 Mon Sep 17 00:00:00 2001 From: MarcelineVQ Date: Wed, 7 Sep 2022 12:04:03 -0700 Subject: [PATCH] [ docs ] readme change --- README.md | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 4871856..c7283f8 100644 --- 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