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

[Nils Anders Danielsson]

On 2016-01-03 08:51, Mandy Martino wrote:
> http://ocvs.cfv.jp/Agda/tutorial/node149.html

This is a tutorial for Agda 1, not Agda 2. These languages are related,
but different.

-- 
/NAD