<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:·s²Ó©úÅé
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><font size="3" style="font-size:12pt;" color="#000000">Hi Nils Anders,</font><div><font size="3" style="font-size:12pt;" color="#000000"><br></font></div><div>except syntax, what are their difference?</div><div><br><div>Regards,</div><div><br></div><div>Martin </div><br><br><div>> Subject: Re: [Agda] is Agda 1 and Agda 2 are different things<br>> To: tesleft@hotmail.com<br>> CC: agda@lists.chalmers.se<br>> From: nad@cse.gu.se<br>> Date: Sun, 3 Jan 2016 22:25:58 +0100<br>> <br>> On 2016-01-03 08:51, Mandy Martino wrote:<br>> > http://ocvs.cfv.jp/Agda/tutorial/node149.html<br>> <br>> This is a tutorial for Agda 1, not Agda 2. These languages are related,<br>> but different.<br>> <br>> -- <br>> /NAD<br></div></div> </div></body>
</html>