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

Add new submodules

Browse source
This commit is contained in:
Frederik Hanghøj Iversen 2017-11-10 16:20:54 +01:00
parent d977cd40b5
commit 19d5605981
6 changed files with 10 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.gitmodules vendored
View file

@ -1,3 +1,6 @@
[submodule "libs/cubical-demo"]
path = libs/cubical-demo
url = git@github.com:Saizan/cubical-demo.git
[submodule "libs/cubical"]
path = libs/cubical
url = git@github.com:fredefox/cubical.git
[submodule "libs/agda-stdlib"]
path = libs/agda-stdlib
url = git@github.com:agda/agda-stdlib.git

3
cat.agda-lib
View file

@ -4,4 +4,5 @@ name: cat
depend:
standard-library
cubical
include: src
include:
src

1
libraries
View file

@ -1 +0,0 @@
libs/cubical-demo

1
libs/agda-stdlib Submodule

@ -0,0 +1 @@
Subproject commit 2033814d1f118401a37484390fdb5b75b83e6bb4

1
libs/cubical Submodule

@ -0,0 +1 @@
Subproject commit 19990b03b95f76210362a6e55b94181a5481f158

1
libs/cubical-demo

@ -1 +0,0 @@
Subproject commit e46610eda0bbdebb072a70b947742f765a335b01