Manuel Bärenz 27ff64e919 agdaPackages.standard-library: 1.6 -> 1.7		2021-07-15 10:25:44 +02:00
..
agda-categories
agda-prelude
cubical
functional-linear-algebra
generic
iowa-stdlib
standard-library	agdaPackages.standard-library: 1.6 -> 1.7	2021-07-15 10:25:44 +02:00