@@ -1,5 +1,7 @@
1Idris (http://idris-lang.org/) is an experimental functional programming
1Idris (http://idris-lang.org/) is an experimental functional programming
2language with dependent types.
2language with dependent types.
4+To configure, edit config.mk. The default values should work for most people.
4To install, type 'make'. This will install everything using cabal and
6To install, type 'make'. This will install everything using cabal and
5typecheck the libraries.
7typecheck the libraries.