Add a note about editing config.mk
commit592d6c05955b6f40068e49977808d13fa162d5fb
authorJason Dagit <dagit@galois.com>
dateMon 29 Oct 2012, 11:57 (14 years ago)
parent3bfe418
README+2
@@ -1,5 +1,7 @@
11Idris (http://idris-lang.org/) is an experimental functional programming
22language with dependent types.
33
4+To configure, edit config.mk. The default values should work for most people.
5+
46To install, type 'make'. This will install everything using cabal and
57typecheck the libraries.