Naïm Favier 8c9c19b5a9 agdaPackages._1lab: init at unstable-2023-03-07 ... https://github.com/plt-amy/1lab		2023-08-06 12:49:13 +02:00
..
1lab	agdaPackages._1lab: init at unstable-2023-03-07	2023-08-06 12:49:13 +02:00
agda-categories
agda-prelude
agdarsec
cubical	agdaPackages.cubical: unstable-2023-02-09 -> 0.5	2023-07-05 11:14:29 +02:00
functional-linear-algebra
generic
iowa-stdlib
standard-library