nixpkgs/pkgs/development/libraries/agda
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: 2.6.2.2 -> 2.6.3 2023-02-14 14:45:39 +01:00
agda-prelude agda: 2.6.2.2 -> 2.6.3 2023-02-14 14:45:39 +01:00
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 agda: 2.6.2.2 -> 2.6.3 2023-02-14 14:45:39 +01:00