Wojciech Jedynak

I'm a PhD student at University of Wrocław, Poland.

Mail me at wjedynak (at) gmail (dot) com


My shortcuts:

ForkedReferenceManual.Records

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=PmWiki.DocumentationIndex