Pad parens in idris
Improve idris ret commands
Make cbidris:function-name-at-pt return nil if blank match
idris M-RET moves to end of line before creating newline
Improve data decl indentation in using blocks
Use auto-complete in idris buffers
Remove duplicate reading capture template
Fix idris lambda font locking
Remove unneeded font lock symbols for idris
Use unicode char for bottom in Idris