5 lines
44 B
Plaintext
5 lines
44 B
Plaintext
name: agda-symmetries
|
|
depend:
|
|
.
|
|
cubical
|
name: agda-symmetries
|
|
depend:
|
|
.
|
|
cubical
|