Versions

Repository

https://github.com/Agda-zh/agda

Project Slug

agda-zh

Last Built

1 year, 7 months ago passed

Maintainers

Home Page

https://github.com/Agda-zh/agda

Badge

Tags

agda

Short URLs

agda-zh.readthedocs.io
agda-zh.rtfd.io

Default Version

latest

'latest' Version

origin/zh-master