[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