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

Prop

See the official user manual.

TOC

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 December 14, 2018, at 06:39 pm
Powered by PmWiki