ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 06:29:37 +03:00
Code Issues Projects Releases Wiki Activity

Replace a fancy apostrophe with a basic ASCII one

Browse Source 
A Unicode apostrophe will cause problems with locales with
non-Unicode text encodings, like CP850 that is default in
Windows terminals.
This commit is contained in:
Niklas Larsson 2015-02-24 22:54:21 +01:00
parent 5aa03e7c9e
commit f70afab7d9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Idris/CmdOptions.hs
View File

@ -26,7 +26,7 @@ runArgParser = do opts <- execParser $ info parser
idrisProgDesc = PP.vsep [PP.empty,
PP.text "Idris is a general purpose pure functional programming language with dependent",
PP.text "types. Dependent types allow types to be predicated on values, meaning that",
PP.text "some aspects of a program’s behaviour can be specified precisely in the type.",
PP.text "some aspects of a program's behaviour can be specified precisely in the type.",
PP.text "It is compiled, with eager evaluation. Its features are influenced by Haskell",
PP.text "and ML.",
PP.empty,