git.iko.soy/Idris-dev
on master help sign in
fix version numbers in listings.
commit75b9608b89da045f772efe892c424f14a7b3625c authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk> dateThu 9 Nov 2017, 13:14 (9 years ago) parentf8c2edf
3 files changed+3−3
compare with master
unifiedsplit
docs/listing/idris-prompt-helloworld.txt+1−1 docs/listing/idris-prompt-interp.txt+1−1 docs/listing/idris-prompt-start.txt+1−1
docs/listing/idris-prompt-helloworld.txt+1−1
@@ -1,7 +1,7 @@
11$ idris hello.idr
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 1.0
4+ / // __ / ___/ / ___/ Version 1.1.1
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66 /___/\__,_/_/ /_/____/ Type :? for help
77
docs/listing/idris-prompt-interp.txt+1−1
@@ -1,7 +1,7 @@
11$ idris interp.idr
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 1.0
4+ / // __ / ___/ / ___/ Version 1.1.1
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66 /___/\__,_/_/ /_/____/ Type :? for help
77
docs/listing/idris-prompt-start.txt+1−1
@@ -1,7 +1,7 @@
11$ idris
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 1.0
4+ / // __ / ___/ / ___/ Version 1.1.1
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66/___/\__,_/_/ /_/____/ Type :? for help
77