[submodule "libs/cubical"]
	path = libs/cubical
	url = git@github.com:Saizan/cubical-demo.git
[submodule "libs/agda-stdlib"]
	path = libs/agda-stdlib
	url = git@github.com:agda/agda-stdlib.git