Konrad Borowski 8998be8efb AgdaStdlib: update homepage link to use HTTPS

2020-04-24 19:44:59 -07:00

..

agda-base

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

agda-iowa-stdlib

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

agda-prelude

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

Agda-Sheaves

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

agda-stdlib

AgdaStdlib: update homepage link to use HTTPS

2020-04-24 19:44:59 -07:00

bitvector

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

categories

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

pretty

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

TotalParserCombinators

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00