Add help hint to Cryptol REPL

GaloisInc · Nov 4, 2019 · dd6d8d2 · dd6d8d2
1 parent ddbd664
commit dd6d8d2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cryptol/REPL/Logo.hs b/cryptol/REPL/Logo.hs
@@ -35,7 +35,8 @@ logo useColor mk =
   versionText = "version " ++ showVersion version ++ hashText
   ver = sgr [SetColor Foreground Dull White]
         ++ replicate (lineLen - 20 - length versionText) ' '
-        ++ versionText
+        ++ versionText ++ "\n"
+        ++ "https://cryptol.net  :? for help"
   ls        = mk ver
   slen      = length ls `div` 3
   (ws,rest) = splitAt slen ls