More agressive `with` in Agda 2.4.3 [Re: [Agda] More aggressive
`with`: Please check your Agda-2.4.2 developments!]
effectfully
effectfully at gmail.com
Mon Nov 23 19:31:28 CET 2015
I checked ~11k SLOC: no breakage.
More information about the Agda
mailing list