[Agda] stdlib for practical programming

[Sergei Meshveliani]

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 checker.
> 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.

Regards,

------
Sergei