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
..
default.nix	…