Pavol Rusnak a6ce00c50c treewide: remove stdenv where not needed		2021-01-25 18:31:47 +01:00
..
agda-categories
agda-prelude
cubical
functional-linear-algebra
generic
iowa-stdlib
standard-library