4 commits

Author	SHA1	Message	Date
Ingo Blechschmidt	ec52278ea1	agdaPackages.functional-linear-algebra: 0.1 -> 0.2	2021-01-27 14:07:49 +01:00
Pavol Rusnak	a6ce00c50c	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
Ben Siraphob	66e44425c6	pkgs/development/libraries: stdenv.lib -> lib	2021-01-21 19:11:02 -08:00
Ryan Orendorff	c78dc9cf5b	agda-packages: add fla library at v0.1 ... Adds the functional-linear-algebra library to the agda package set.	2020-10-15 10:54:22 -06:00