<div dir="ltr"><div>Hi,<br><br>I have a question regarding this. Is Agda an ideal tool for writing a 
computer algebra library?<br>As someone coming from Mathematica background, I am 
particularly interested in this because<br>in principle tools like Agda 
*should* be more suitable for computer algebra than any other existing 
</div><div>programming languages.<br><br>Regards,<br><br>Mianlai<br>University of Nottingham, Ningbo 
Campus </div><div> </div><div> </div><div class="gmail_extra"><div class="gmail_quote">On Wed, Sep 25, 2013 at 1:36 AM, Sergei Meshveliani <span dir="ltr">&lt;<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>&gt;</span> wrote:<br>
<blockquote style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid" class="gmail_quote"><div class="im">On Tue, 2013-09-24 at 19:00 +0300, Dmytro Starosud wrote:<br>

&gt; Hello everybody!<br>
&gt;<br>
&gt; I would like to use Agda for practical programming rather just proof checker.<br>
&gt; For this purpose I need library with type classes and stuff for IO<br>
&gt; operations which would make easier fast prototyping.<br>
</div>&gt; [..]<br>
<br>
After 1 year experience with writing a computer algebra library in Agda<br>
I start to think that classes are not needed, that<br>
dependent records + implicit parameters  of Agda is better.<br>
<br>
Regards,<br>
<br>
------<br>
Sergei<br>
<div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div></div>