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
parent 617b980961
commit c78dc9cf5b
2 changed files with 29 additions and 0 deletions
@@ -25,6 +25,9 @@ let

    cubical = callPackage ../development/libraries/agda/cubical { };

+    functional-linear-algebra = callPackage
+      ../development/libraries/agda/functional-linear-algebra { };
+
    generic = callPackage ../development/libraries/agda/generic { };
  };
 in mkAgdaPackages Agda