Repository

https://github.com/asr/my-agda.git

Project Slug

my-agda

Last Built

1 year, 1 month ago passed

Maintainers

Badge

Tags

Project has no tags.

Project Privacy Level

Public

Short URLs

my-agda.readthedocs.io
my-agda.rtfd.io

Default Version

latest

'latest' Version

master