[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Dec 14 22:59:39 CET 2015


On 14 December 2015 at 15:47, Jesper Cockx <Jesper at sikanda.be> wrote:
> You can do so by following the instructions by Andrés in
> https://lists.chalmers.se/pipermail/agda-dev/2015-December/000224.html:
>
>   $ git branch -b unification
>   $ git fetch https://github.com/jespercockx/agda.git unification
>   $ git merge FETCH_HEAD
>   $ make install-bin

An easier way for installing Jesper's new unifier is

$ git clone https://github.com/jespercockx/agda.git agda-unification
$ cd agda-unification
$ git checkout --track  origin/unification
$ make install-bin


-- 
Andrés


More information about the Agda mailing list