I'm a PhD student at University of Wrocław, Poland.
Mail me at wjedynak (at) gmail (dot) com
My shortcuts:
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