[submodule "src/tests"]
	path = src/tests
	url = git@github.com:tobast/mpri18-funcprog-tests.git