issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Setup github actions
#6
Closed
vikraman
closed
10 months ago
vikraman
commented
10 months ago
create issues from TODOs (important)
setup Agda CI (typecheck and deploy HTML)