Decidable predicate ADT
Added typeclass for decidable equality plus instances for commonly-used datatypes
Remove misplaced instance
Add Catchable and IOExcept modules
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #193 from david-christiansen/decidable

Decidable equality typeclass
Merge branch 'master' of github.com:edwinb/Idris-dev
Add Decidable directory to idris.cabal
Added testing instructions to README
Merge pull request #198 from david-christiansen/readme

Added testing instructions to README
added Eq typeclass for Maybe
Merge pull request #200 from raichoo/master

Maybe Eq Typeclass
Build Haddock and Hoogle files

Haddock will generate links to Hackage where appropriate.
Documentation comment additions