https://github.com/casperbp/renamingless-capture-avoiding
Raw File
Tip revision: b6151854da6971c90f3db8212f3dd1c11286c44f authored by Casper Bach Poulsen on 31 January 2023, 12:41:24 UTC
Fix ccs
Tip revision: b615185
.gitmodules
[submodule "lib/agda-stdlib"]
	path = lib/agda-stdlib
	url = https://github.com/agda/agda-stdlib
back to top