[Agda] is Agda 1 and Agda 2 are different things

[Nils Anders Danielsson]

On 2016-01-04 04:16, Mandy Martino wrote:
> except syntax, what  are  their difference?

There are quite a few differences. Perhaps the most important one is
that Agda 1 has not been developed actively since 2008 or something like
that.

-- 
/NAD