Release notes for Agda version 2.6.0.1

Installation and infrastructure

For 2.6.0.1, the following issues have been closed (see bug tracker):

#3685: Support GHC 8.6.5
#3692: Omission of absurd patterns in automatically added absurd clauses causes too optimistic polarity.
#3694: Importing Agda.Builtin.Size in one module affects another module
#3696: Make AgdaAny polykinded?
#3697: Panic when checking non-Setω data definitions with --type-in-type
#3701: [ re agda/agda-stdlib#710 ] toNat for machine words is injective
#3731: GHC backend thinks that a constructor called 'main' is the main program
#3742: Strange error message for code that combines mutual and abstract