R. Ryantm e5c56b29ab agdaPackages.standard-library: 2.0 -> 2.1		2024-07-27 22:06:45 +02:00
..
1lab
agda-categories
agda-prelude
agdarsec
cubical
functional-linear-algebra
generic
generics	agdaPackages.generics: init at 1.0.1	2024-07-01 17:11:41 +02:00
iowa-stdlib
standard-library	agdaPackages.standard-library: 2.0 -> 2.1	2024-07-27 22:06:45 +02:00