[Agda-dev] Qualified full operator name now needs parentheses?
Andrés Sicard-Ramírez
asr at eafit.edu.co
Fri Mar 20 15:31:55 CET 2015
On 20 March 2015 at 09:17, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
> --- is 2.4.2.3 the right branch to go with Agda maint-2.4.2 right now?
Yes.
--
Andrés
More information about the Agda-dev
mailing list