From: Anders Mörtberg <mortberg@chalmers.se>
Date: Mon, 13 Apr 2015 17:41:32 +0000 (+0200)
Subject: Update help message
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=0ca92a2f63714c28199b52d093fa32823b7ebc3c;p=cubicaltt.git

Update help message
---

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" ++