Giters
agda
/
agda-web-semantic
Agda libraries for the semantic web
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
22
Watchers:
24
Issues:
4
Forks:
3
agda/agda-web-semantic Issues
Usolved Metas
Updated
3 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