[Agda] stdlib for practical programming

[Dmytro Starosud]

By "implicit parameters" do you mean {{instance}} parameters?

Thanks,
Dima

2013/9/24 Sergei Meshveliani <mechvel at botik.ru>:
> 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
>