idris-hackers/idris-mode — pull request #205 by david-christiansen (2014-06-30 08:58:28+00:00)
Title: Make cl stuff point at cl-lib

This fixes problems for people who don't have `cl` loaded