[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