[Agda] Google Summer of Code Projects

[Martin Bidlingmaier]

Hi,

is somebody considering applying as a mentor for this year’s Google Summer
of Code <https://developers.google.com/open-source/gsoc/> and submit an
Agda-related project? For example, this could be something related to
tooling, work on the standard library or the compiler itself. I’d love the
opportunity to get involved in the project and I’m sure other students
would, too.

Martin
​
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160115/c7bbf673/attachment.html