Alex Rice 8735356e27 agda-prelude: compat-2.6.0 -> compat-2.6.1		2020-08-10 15:07:49 +01:00
..
agda-categories
agda-prelude	agda-prelude: compat-2.6.0 -> compat-2.6.1	2020-08-10 15:07:49 +01:00
cubical
iowa-stdlib
standard-library