idris-lang/Idris-dev — pull request #1666 by edwinb (2014-10-19 14:05:59+00:00)
Title: Faster universe checking

This mainly fixes a scoping issue which made the cycle checker search
too many times.

Fixes #1649