cat/.gitmodules

7 lines
193 B
Plaintext
Raw Permalink Normal View History

2017-11-10 15:20:54 +00:00
[submodule "libs/cubical"]
path = libs/cubical
2018-07-19 18:22:17 +00:00
url = git@github.com:Saizan/cubical-demo.git
2017-11-10 15:20:54 +00:00
[submodule "libs/agda-stdlib"]
path = libs/agda-stdlib
url = git@github.com:agda/agda-stdlib.git