[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 1

[Nils Anders Danielsson]

On 22/03/2019 21.55, Sergei Meshveliani wrote:
> I somehow hesitate whether to set the `module' header in M2.agda

I suggest that you always include the module header in files that are
intended to be imported from other files.

-- 
/NAD