Update help message

diff --git a/Main.hs b/Main.hs
index d03f40d94d129d04abf63923bee885feb67ce2dd..95dad87b846b96745279ee8a3ad368f0dd837b65 100644 (file)
--- a/Main.hs
+++ b/Main.hs
@@ -172,6 +172,7 @@ imports v st@(notok,loaded,mods) f
 help :: String
 help = "\nAvailable commands:\n" ++
        "  <statement>     infer type and evaluate statement\n" ++
+       "  :n <statement>  normalize statement\n" ++
        "  :q              quit\n" ++
        "  :l <filename>   loads filename (and resets environment before)\n" ++
        "  :cd <path>      change directory to path\n" ++