~wldhx/plfa

aa456eb71de2f5ac2b28d53e02806d0d85a5d29d — wldhx 2 years ago f3974aa
Submodules: git=>https link
1 files changed, 1 insertions(+), 1 deletions(-)

M .gitmodules
M .gitmodules => .gitmodules +1 -1
@@ 1,3 1,3 @@
[submodule "standard-library"]
	path = standard-library
	url = git@github.com:agda/agda-stdlib.git
	url = https://github.com/agda/agda-stdlib.git