idrisPackages.vdom: init at 0.6.0

2018-05-08 11:41:52 +02:00
parent 4dc33d06b9
commit bf02618e1f
2 changed files with 30 additions and 0 deletions
@@ -194,6 +194,8 @@

    union_type = callPackage ./union_type.nix {};

+    vdom = callPackage ./vdom.nix {};
+
    vecspace = callPackage ./vecspace.nix {};

    webgl = callPackage ./webgl.nix {};