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