R. Ryantm e5c56b29ab agdaPackages.standard-library: 2.0 -> 2.1		2024-07-27 22:06:45 +02:00
..
1lab	Merge branch master into haskell-updates	2024-03-21 21:01:05 +01:00
agda-categories	treewide: Remove indefinite article from meta.description	2024-06-09 23:07:45 +02:00
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