Michael Reilly 84cf00f980 treewide: Per RFC45, remove all unquoted URLs		2020-04-10 17:54:53 +01:00
..
Agda-Sheaves	…
TotalParserCombinators	…
agda-base	…
agda-iowa-stdlib	…
agda-prelude	…
agda-stdlib	…
bitvector	…
categories	…
pretty	…