3 lines
73 B
Plaintext
3 lines
73 B
Plaintext
|
libs/agda-stdlib/standard-library.agda-lib
|
||
|
|
libs/cubical/cubical.agda-lib
|