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
functional-linear-algebra
generic
iowa-stdlib
standard-library