All Projects → agda → agda-spec

agda / agda-spec

Licence: Unlicense license
Specification of Agda.

Programming Languages

TeX
3793 projects
Agda
84 projects
Makefile
30231 projects
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].