git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1025 from jeffersoncarpenter/master
aa39233Edwin Brady
README+1−1
compare with master
unifiedsplit
@@ -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
2language with dependent types.
2language with dependent types.
3
3
4To configure, edit config.mk. The default values should work for most people.
4To configure, edit config.mk. The default values should work for most people.