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

[Mandy Martino]

Hi  Nils Anders,
except syntax, what  are  their difference?
Regards,
Martin 

> Subject: Re: [Agda] is Agda 1 and Agda 2 are different things
> To: tesleft at hotmail.com
> CC: agda at lists.chalmers.se
> From: nad at cse.gu.se
> Date: Sun, 3 Jan 2016 22:25:58 +0100
> 
> 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
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160104/42c0d82c/attachment.html