3 lines
103 B
Text
3 lines
103 B
Text
[submodule "standard-library"]
|
|
path = standard-library
|
|
url = https://github.com/agda/agda-stdlib.git
|