GitPlanet
Projects
Users
Categories
Languages
About
Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting
Created with love in Canada, visit
hostnodejs.com
today
Feel like to post an Ad?
Learn Details
All Projects
→
agda
→
agda-spec
agda /
agda-spec
Licence: Unlicense license
Specification of Agda.
Stars: ✭ 23
Visit Git Page
Visit User Page
Visit Issues Page (1)
Programming Languages
TeX
3793 projects
Agda
84 projects
Makefile
30231 projects
agda-spec
Specification of Agda.
core-agda.pdf
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]
.
Stars: ✭ 23
Visit Git Page 🔗
Visit User Page 🔗
Visit Issues Page (1) 🔗