git.iko.soy/Idris-dev
on master help sign in
Backdated man page and update year in CLI Help.
commit4755a729922cba5d1e4a9fd715cdea7831b0e71a authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateTue 29 Mar 2016, 13:23 (11 years ago) parent743e0d6
2 files changed+2−2
compare with master
unifiedsplit
man/idris.1+1−1 src/Idris/CmdOptions.hs+1−1
man/idris.1+1−1
@@ -1,6 +1,6 @@
11.\" Manpage for Idris.
22.\" Contact <> to correct errors or typos.
3−.TH man 1 "06 August 2014" "0.9.14.1" "Idris man page"
3+.TH man 1 "25 March 2016" "0.11" "Idris man page"
44.SH NAME
55idris -\ a general purpose pure functional programming language with dependent types.
66.SH SYNOPSIS
src/Idris/CmdOptions.hs+1−1
@@ -28,7 +28,7 @@ runArgParser = do opts <- execParser $ info parser
2828 )
2929 return $ preProcOpts opts []
3030 where
31− idrisHeader = PP.hsep [PP.text "Idris version", PP.text ver, PP.text ", (C) The Idris Community 2014"]
31+ idrisHeader = PP.hsep [PP.text "Idris version", PP.text ver, PP.text ", (C) The Idris Community 2016"]
3232 idrisProgDesc = PP.vsep [PP.empty,
3333 PP.text "Idris is a general purpose pure functional programming language with dependent",
3434 PP.text "types. Dependent types allow types to be predicated on values, meaning that",