GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-15 18:52:13 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #657 from stock1218/master

Browse Source 
Add help hint to Cryptol REPL
This commit is contained in:
brianhuffman 2019-11-15 08:36:32 -08:00 committed by GitHub
commit a08a85af63
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
cryptol/REPL/Logo.hs
View File

@ -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