sternenseemann b4d48b0f9e Merge branch master into haskell-updates		2024-03-21 21:01:05 +01:00
..
1lab	Merge branch master into haskell-updates	2024-03-21 21:01:05 +01:00
agda-categories	agdaPackages.agda-categories: remove heap size increase	2024-03-18 17:30:52 +01:00
agda-prelude
agdarsec
cubical	agdaPackages.cubical: add maintainer phijor	2024-02-18 00:23:06 +02:00
functional-linear-algebra
generic
iowa-stdlib
standard-library