List view

• Preparing for a 1.1 release.

  It has been a while since we cut a release of Idris Mode. We should do so soon. Let us use this milestone thingy to track organization.

  No due date

  •1/4 issues closed
  25% complete3 open1 closed