Giters
agda
/
agda-spec
Specification of Agda.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
25
Watchers:
22
Issues:
2
Forks:
3
agda/agda-spec Issues
Removal of Data.Nat.Properties.Simple in v1.0 of the standard library
Updated
6 years ago
Github Pages Deployment
Closed
7 years ago
Comments count
4