git.iko.soy/Idris-dev
on master help sign in
Backdated man page and update year in CLI Help.
4755a72Jan de Muijnck-Hughes
man/idris.1+1−1
compare with master
unifiedsplit
@@ -1,6 +1,6 @@
1.\" Manpage for Idris.
1.\" Manpage for Idris.
2.\" Contact <> to correct errors or typos.
2.\" 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"
4.SH NAME
4.SH NAME
5idris -\ a general purpose pure functional programming language with dependent types.
5idris -\ a general purpose pure functional programming language with dependent types.
6.SH SYNOPSIS
6.SH SYNOPSIS
src/Idris/CmdOptions.hs+1−1
@@ -28,7 +28,7 @@ runArgParser = do opts <- execParser $ info parser
28 )
28 )
29 return $ preProcOpts opts []
29 return $ preProcOpts opts []
30 where
30 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"]
32 idrisProgDesc = PP.vsep [PP.empty,
32 idrisProgDesc = PP.vsep [PP.empty,
33 PP.text "Idris is a general purpose pure functional programming language with dependent",
33 PP.text "Idris is a general purpose pure functional programming language with dependent",
34 PP.text "types. Dependent types allow types to be predicated on values, meaning that",
34 PP.text "types. Dependent types allow types to be predicated on values, meaning that",