Fwd: [Agda] hello, I've done something terrible...
Perikov Pavel
perikov at gmail.com
Fri Jul 29 08:27:31 CEST 2011
On 28.07.2011, at 3:15, Guillaume Yziquel wrote:
>> Congrats! I'm about to make doing terrible things with Agda my main
>> job:)
>
> I would be extremely curious to know what that may be...
I too :) The first thing will be finding this out :)
On 28.07.2011, at 13:05, Robin Green wrote:
> I don't suppose you're looking to hire an Agda developer...?
That's quite possible.
P.
More information about the Agda
mailing list