The Agda Wiki
Changes
·
(Group)
·
View
Edit
History
Print
ForkedReferenceManual
/
\
ForkedReferenceManual
RecentChanges
Records
. . . April 26, 2019, at 01:03 PM by
gallais
: revert vandalism
Records
. . . July 24, 2011, at 03:40 PM by
Wojciech Jedynak
:
Agda
Main
Downloads
Release Notes
Getting Started
User Manual
Tutorials
Libraries
How to
Publications
Community
Agda Meetings
Report a Bug
Recent Changes
PmWiki Help
edit SideBar
Edit
|
History
|
Recent Changes
(all)
|
Search
Page last modified on April 26, 2019, at 01:03 pm
Powered by
PmWiki