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

…