fredefox
/
cat
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
cat/libraries

3 lines
73 B
Plaintext
Raw Permalink Normal View History

Add libraries file
2017-11-26 13:57:07 +00:00
libs/agda-stdlib/standard-library.agda-lib
libs/cubical/cubical.agda-lib