f70afab · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Replace a fancy apostrophe with a basic ASCII one

A Unicode apostrophe will cause problems with locales with non-Unicode text encodings, like CP850 that is default in Windows terminals.

commitf70afab7d9f634c0ad8839ebed25fbcf28ff8cca authorNiklas Larsson <niklas@mm.st> dateTue 24 Feb 2015, 22:54 (12 years ago) parent5aa03e7

1 file changed+1−1

unifiedsplit

src/Idris/CmdOptions.hs+1−1

@@ -26,7 +26,7 @@ runArgParser = do opts <- execParser $ info parser

2626 idrisProgDesc = PP.vsep [PP.empty,

2727 PP.text "Idris is a general purpose pure functional programming language with dependent",

2828 PP.text "types. Dependent types allow types to be predicated on values, meaning that",

29− PP.text "some aspects of a program’s behaviour can be specified precisely in the type.",

29+ PP.text "some aspects of a program's behaviour can be specified precisely in the type.",

3030 PP.text "It is compiled, with eager evaluation. Its features are influenced by Haskell",

3131 PP.text "and ML.",

3232 PP.empty,