[submodule "experiment/lean4_repl"]
	path = experiment/lean4_repl
	url = https://github.com/fbundle/lean4_repl
