<div dir="ltr"><div style="" class="markdown-here-wrapper"><p style="margin:0px 0px 1.2em!important">Hi,</p>
<p style="margin:0px 0px 1.2em!important">is somebody considering applying as a mentor for this year’s <a href="https://developers.google.com/open-source/gsoc/">Google Summer of Code</a> 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.</p>
<p style="margin:0px 0px 1.2em!important">Martin</p>
<div title="MDH:PGRpdj48ZGl2PjxkaXY+SGksPGJyPjxicj48L2Rpdj5pcyBzb21lYm9keSBjb25zaWRlcmluZyBh
cHBseWluZyBhcyBhIG1lbnRvciBmb3IgdGhpcyB5ZWFyJ3MgW0dvb2dsZSBTdW1tZXIgb2YgQ29k
ZV0oPGEgaHJlZj0iaHR0cHM6Ly9kZXZlbG9wZXJzLmdvb2dsZS5jb20vb3Blbi1zb3VyY2UvZ3Nv
Yy8iPmh0dHBzOi8vZGV2ZWxvcGVycy5nb29nbGUuY29tL29wZW4tc291cmNlL2dzb2MvPC9hPikg
YW5kIHN1Ym1pdCBhbiBBZ2RhLXJlbGF0ZWQgcHJvamVjdD8gRm9yIGV4YW1wbGUsIHRoaXMgY291
bGQgYmUgc29tZXRoaW5nIHJlbGF0ZWQgdG8gdG9vbGluZywgd29yayBvbiB0aGUgc3RhbmRhcmQg
bGlicmFyeSBvciB0aGUgY29tcGlsZXIgaXRzZWxmLiBJJ2QgbG92ZSB0aGUgb3Bwb3J0dW5pdHkg
dG8gZ2V0IGludm9sdmVkIGluIHRoZSBwcm9qZWN0IGFuZCBJJ20gc3VyZSBvdGhlciBzdHVkZW50
cyB3b3VsZCwgdG9vLjxicj48YnI+PC9kaXY+PC9kaXY+TWFydGluPGJyPg==" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0">​</div></div></div>