[submodule "juvix-stdlib"]
	path = juvix-stdlib
	url = https://github.com/anoma/juvix-stdlib.git
