idris-lang/Idris-dev — pull request #795 by SimonJF (2014-01-23 19:11:58+00:00)
Title: Add decidable equality instance for String, and a decEq unit test

String is a primitive, but the decEq instance was missing. This PR adds this, along with a unit test to test that decidable equality works for all instances.