put history into .idris directory, which is created by idris anyways
remove unneeded function string-no-properties
 (substring-no-properties without FROM and TO has the very same effect)
cleanup imports
rename idris-log-event to idris-event-log for clarity, now that we have idris-log
fix warning span
only kill buffers if process was killed
fix error reporting: on empty line insert a whitespace to have something for the overlay
display condition from idris when synchronous evaluation fails
only do evaluation if there's something at point; also do loading of file only if there's something at point
added link to pdf
actually add missing cases into buffer
inserted some more documentation