[Agda] More aggressive `with`: Please check your Agda-2.4.2 developments!

effectfully effectfully at gmail.com
Fri Nov 20 09:21:24 CET 2015


Then I can't help, since there are ~5 `with's in my developments that
don't use sections extensively.


More information about the Agda mailing list