8000 Home · agda/agda Wiki · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Home

Jump to bottom Edit New page
Jesper Cockx edited this page Nov 18, 2020 · 1 revision

Welcome to the agda wiki! This page is meant for the developers of Agda to document the design and implementation of Agda. If you are a user of Agda, you should instead read the official documentation on ReadTheDocs.

Add a custom footer
Add a custom sidebar
Clone this wiki locally
0