Decidable predicate ADT
Added typeclass for decidable equality plus instances for commonly-used datatypes
Remove misplaced instance
Added 'implicit' conversions
implicit f : a -> b
Then, when a function needs a 'b' but has an 'a', f will be called
implicitly.
This is probably scary and fragile. Use with extreme caution!
Brief note on implicits in the tutorial
Update tutorial
vim: added implicit and static annotations
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