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

…