From 0ca92a2f63714c28199b52d093fa32823b7ebc3c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <mortberg@chalmers.se>
Date: Mon, 13 Apr 2015 19:41:32 +0200
Subject: [PATCH] Update help message

---
 Main.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Main.hs b/Main.hs
index d03f40d..95dad87 100644
--- 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" ++
-- 
2.34.1