idris-lang/Idris-dev — pull request #957 by JanBessai (2014-03-06 12:26:17+00:00)
Title: Congruence over a single function instead of all functions

Now congruence relations are paired with a single function respecting the congruence instead of all functions.