Merge pull request #1025 from jeffersoncarpenter/master
changed the first sentence of the readme
commitaa392335ed70c4b05259e1c120b854e7865a9bb7
authorEdwin Brady <edwin.brady@gmail.com>
dateFri 4 Apr 2014, 16:27 (13 years ago)
parentd2eaa28c87350c
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.