[Agda] change in operator syntax

[Andrés Sicard-Ramírez]

On 14 August 2015 at 10:16, Sergei Meshveliani <mechvel at botik.ru> wrote:
> Among other attempts, I need to try  --sharing.
> And Kahl wrote that it has an effect in Development version
> (what about Maint, Master ?).
>

At this time, the "development version" is carried out in two
branches: master and maint-2.4.2

> Need I to try Maint ?

The --sharing option is not implemented in the maint-2.4.2 branch.

-- 
Andrés