[Agda-dev] Qualified full operator name now needs parentheses?

[Andrés Sicard-Ramírez]

On 20 March 2015 at 09:17, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
> How do I ``git clone'' Agda maint-2.4.2 directly?

$ git clone https://github.com/agda/agda.git --branch maint-2.4.2
--single-branch


-- 
Andrés