idrisPackages.quantities: init at 2018-04-17

2018-08-04 23:10:43 -04:00
parent 9104cf1276
commit a6e17d6f11
2 changed files with 24 additions and 0 deletions
@@ -153,6 +153,8 @@

    protobuf = callPackage ./protobuf.nix {};

+    quantities = callPackage ./quantities.nix {};
+
    rationals = callPackage ./rationals.nix {};

    recursion_schemes = callPackage ./recursion_schemes.nix {};