Philipp Joram 54c160c74f agdaPackages.cubical: add maintainer phijor		2024-02-18 00:23:06 +02:00
..
1lab
agda-categories
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