feat: added dhall stuff

modules/dev/default.nix

@@ -8,6 +8,7 @@
     ./rust.nix
     ./racket.nix
     ./elm.nix
+    ./dhall.nix
     ./haskell
   ];
 }

modules/dev/dhall.nix

@@ -0,0 +1,10 @@
+{ pkgs, ... }: {
+  home-manager.users.adrielus.home.packages = with pkgs.easy-dhall-nix; [
+    dhall-simple
+    dhall-json-simple
+    dhall-bash-simple
+    dhall-nix-simple
+    dhall-yaml-simple
+    dhall-lsp-simple
+  ];
+}

modules/overlay.nix

@@ -17,6 +17,7 @@ in {
 
         cached-nix-shell = callPackage imports.cached-nix-shell { };
         easy-purescript-nix = callPackage imports.easy-purescript-nix { };
+        easy-dhall-nix = callPackage imports.easy-dhall-nix { };
 
         # This is a derivation I made myself for edopro
         edopro = callPackage edoproPackage { };

nix/sources.json

@@ -47,6 +47,18 @@
         "url": "https://github.com/xzfc/cached-nix-shell/archive/48dbef37bec653e23c1801cea3979f053e10654b.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
+    "easy-dhall-nix": {
+        "branch": "master",
+        "description": "Derivations for easily downloading Dhall binaries and putting them to use.",
+        "homepage": "",
+        "owner": "justinwoo",
+        "repo": "easy-dhall-nix",
+        "rev": "3e9101c5dfd69a9fc28fe4998aff378f91bfcb64",
+        "sha256": "1nsn1n4sx4za6jipcid1293rdw8lqgj9097s0khiij3fz0bzhrg9",
+        "type": "tarball",
+        "url": "https://github.com/justinwoo/easy-dhall-nix/archive/3e9101c5dfd69a9fc28fe4998aff378f91bfcb64.tar.gz",
+        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
+    },
     "easy-purescript-nix": {
         "branch": "master",
         "description": "Easy PureScript (and other tools) with Nix",