idris-hackers/idris-mode — pull request #57 by jfdm (2014-01-18 10:01:10+00:00)
Title: Added new commands for structured comment inserton.

+ `idris-insert-comment-heading` inserts at point comment headings.
+ `idris-insert-comment-heading-compact` inserts at point compact
headings.
+ `idris-insert-module-doc-template` inserts a Haskell inpsired
comment template at point.