idris-hackers/idris-mode — pull request #22 by purcell (2013-11-29 08:10:17+00:00)
Title: Add autoload cookies & URL header

Context: we're [adding idris-mode to MELPA](https://github.com/milkypostman/melpa/pull/1203).

Cheers,

-Steve