The Agda Wiki
Changes · (Group) ·
  • View
  • Edit
  • History
  • Print
ReferenceManual2 /
\ ReferenceManual2

Names

TOC

Name Parts

(Unqualified) Names

Qualified Names

Agda

  • Main
  • Downloads
  • Release Notes
  • Getting Started
  • User Manual
  • Tutorials
  • Libraries
  • How to
  • Publications
  • History
  • Community
  • Agda Meetings
  • Report a Bug

  • Recent Changes
  • PmWiki Help

edit SideBar

Edit | History | Recent Changes (all) | Search
Page last modified on February 22, 2012, at 06:56 pm
Powered by PmWiki