Alex Rice 3a61d6d707 agdaPackages.cubical: 0.4prec3e097a -> 0.4		2022-12-01 15:53:35 +00:00
..
agda-categories
agda-prelude
agdarsec
cubical	agdaPackages.cubical: 0.4prec3e097a -> 0.4	2022-12-01 15:53:35 +00:00
functional-linear-algebra
generic
iowa-stdlib
standard-library