Giters
agda
/
agda-web-semantic
Agda libraries for the semantic web
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
23
Watchers:
23
Issues:
4
Forks:
3
agda/agda-web-semantic Issues
Usolved Metas
Updated
4 years ago
Comments count
2
Agda 2.6.0 compatibility
Updated
6 years ago
Comments count
5
Unsolved metas (Agda 2.4.2)
Closed
6 years ago
Comments count
3
Travis CI integration
Updated
6 years ago