WojciechJedynak

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

Page last modified on October 07, 2013, at 05:54 PM
Powered by PmWiki