[submodule "std-lib"] path = std-lib url = https://github.com/agda/agda-stdlib branch = experimental [submodule "cubical"] path = cubical url = https://github.com/agda/cubical
