idris-ret deletes whitespace space when leaving blank lines
function-name-at-pt does not strip parens from operators
Use melpa package of idris-mode