沃伊切赫·杰迪纳克

我是波兰Wrocław大学的博士生。

给我发邮件到wjedynak（at）gmail（dot）com

我的快捷方式：

ForkedReferenceManual（分叉参考手册）。记录

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