zkdream.net
/
symmetries
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
symmetries/.agda-lib

5 lines
44 B
Plaintext
Raw Permalink Blame History

name: agda-symmetries
depend:
.
cubical
Reference in New Issue View Git Blame Copy Permalink