nixpkgs/pkgs/development/libraries/agda/functional-linear-algebra
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 agda-packages: add fla library at v0.1 2020-10-15 10:54:22 -06:00