43bdaa94f4
* Use https instead of git for fetching the standard library * Clone the standard library shallowly
4 lines
119 B
Text
4 lines
119 B
Text
[submodule "standard-library"]
|
|
path = standard-library
|
|
url = https://github.com/agda/agda-stdlib.git
|
|
shallow = true
|