git.iko.soy/Idris-dev
on master help sign in
changed the first sentence of the readme
commitc87350cf2f647f9225724f9e4bc99a37e467972e authorJefferson Carpenter <jeffersoncarpenter2@gmail.com> dateTue 1 Apr 2014, 00:33 (13 years ago) parentd763c9c
1 file changed+1−1
compare with master
unifiedsplit
README+1−1
README+1−1
@@ -1,4 +1,4 @@
1−Idris (http://idris-lang.org/) is an experimental functional programming
1+Idris (http://idris-lang.org/) is a general-purpose functional programming
22language with dependent types.
33
44To configure, edit config.mk. The default values should work for most people.