bitlisp/Idris-dev — pull request #1 by david-christiansen (2013-02-21 12:48:58+00:00)
Title: Added typeclass for decidable equality plus instances for commonly-used datatypes

I added some decidable equality code to your Dec type