[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

Sergei Meshveliani mechvel at botik.ru
Tue Dec 15 21:20:44 CET 2015


On Tue, 2015-12-15 at 08:32 -0500, Andrés Sicard-Ramírez wrote:
> make install-bin
> [..]
>
> It's not difficult to test Jesper's new unifier. By running
>
>  $ git clone https://github.com/jespercockx/agda.git agda-unification
>  $ cd agda-unification
>  $ git checkout --track  origin/unification
>  $ make install-bin
>
> you get a version of Agda including Jesper' new unifier (Agda 2.5).


And where is its Standard library?

------
Sergei



More information about the Agda mailing list