Fwd: [Agda] hello, I've done something terrible...

[Perikov Pavel]

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.