issues
search
agda
/
agda-web-semantic
Agda libraries for the semantic web
MIT License
23
stars
3
forks
source link
Travis CI integration
#3
Open
ice1000
opened
5 years ago