[Agda] stdlib for practical programming
mianlai.research at gmail.com
Wed Sep 25 01:07:47 CEST 2013
I have a question regarding this. Is Agda an ideal tool for writing a
computer algebra library?
As someone coming from Mathematica background, I am particularly interested
in this because
in principle tools like Agda *should* be more suitable for computer algebra
than any other existing
University of Nottingham, Ningbo Campus
On Wed, Sep 25, 2013 at 1:36 AM, Sergei Meshveliani <mechvel at botik.ru>wrote:
> On Tue, 2013-09-24 at 19:00 +0300, Dmytro Starosud wrote:
> > Hello everybody!
> > I would like to use Agda for practical programming rather just proof
> > For this purpose I need library with type classes and stuff for IO
> > operations which would make easier fast prototyping.
> > [..]
> After 1 year experience with writing a computer algebra library in Agda
> I start to think that classes are not needed, that
> dependent records + implicit parameters of Agda is better.
> Agda mailing list
> Agda at lists.chalmers.se
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda