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