Decidable predicate ADT
Added typeclass for decidable equality plus instances for commonly-used datatypes
Remove misplaced instance
Merge pull request #196 from raichoo/master

vim
Only apply unique implicit conversions (and add test)
Merge branch 'master' of github.com:edwinb/Idris-dev
Fix error with coercions in function arguments
Make Haddock able to parse Idris's source
Haddock for completion module
Reformat existing comments for Haddock and add Haddock comments
Add Catchable and IOExcept modules
Merge pull request #197 from david-christiansen/haddock

Get Idris's implementation to generate some Haddock
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