[Agda-dev] Other new branch in the standard library repository:
2.4.2.2
Nils Anders Danielsson
nad at cse.gu.se
Tue Mar 17 14:02:30 CET 2015
On 2015-03-17 13:16, Andrés Sicard-Ramírez wrote:
> In your approach, the master branch which version of Agda requires?
The development version (the master branch).
--
/NAD
More information about the Agda-dev
mailing list