forked from antalsz/hs-to-coq
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitmodules
27 lines (25 loc) · 986 Bytes
/
.gitmodules
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
[submodule "examples/core-semantics/ghc-core-smallstep"]
path = examples/core-semantics/ghc-core-smallstep
url = https://github.com/nomeata/ghc-core-smallstep
[submodule "examples/containers/containers"]
path = examples/containers/containers
url = https://github.com/haskell/containers/
[submodule "examples/ghc/ghc"]
path = examples/ghc/ghc
url = https://gitlab.haskell.org/ghc/ghc.git
[submodule "doc/_themes/sphinx_rtd_theme"]
path = doc/_themes/sphinx_rtd_theme
url = https://github.com/rtfd/sphinx_rtd_theme.git
ignore = dirty
[submodule "functional-shuffle"]
path = examples/shuffle/functional-shuffle
url = https://github.com/antalsz/functional-shuffle.git
[submodule "MonadRandom"]
path = examples/shuffle/MonadRandom
url = https://github.com/byorgey/MonadRandom.git
[submodule "random"]
path = examples/shuffle/random
url = https://github.com/haskell/random.git
[submodule "examples/wc/wc"]
path = examples/wc/wc
url = https://github.com/ChrisPenner/wc.git