Konrad Borowski 8998be8efb AgdaStdlib: update homepage link to use HTTPS		2020-04-24 19:44:59 -07:00
..
agda-base
agda-iowa-stdlib
agda-prelude
Agda-Sheaves
agda-stdlib	AgdaStdlib: update homepage link to use HTTPS	2020-04-24 19:44:59 -07:00
bitvector
categories
pretty
TotalParserCombinators