[Agda] file for readFiniteFile

[Nils Anders Danielsson]

On 2016-09-22 15:35, G. Allais wrote:
> Some editors automatically insert newlines at the end of a file.
> I just tested and vim & nano insert a newline character whilst
> emacs does not for instance.

In the case of Emacs you can get five (!) different behaviours,
depending on what require-final-newline is set to:

   https://www.gnu.org/software/emacs/manual/html_node/emacs/Customize-Save.html

-- 
/NAD