From 190574abc135a3cbdfe0c188a3f7490d374c2fba Mon Sep 17 00:00:00 2001 From: tzlil Date: Sun, 25 Jun 2023 23:23:20 +0300 Subject: a bunch of crap idk but website update --- mixins/cli.nix | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'mixins/cli.nix') diff --git a/mixins/cli.nix b/mixins/cli.nix index 8853576..3b331cf 100644 --- a/mixins/cli.nix +++ b/mixins/cli.nix @@ -30,6 +30,20 @@ numpy more-itertools ])) + + ( + pkgs.writeShellScriptBin "hs" '' + exec ${pkgs.ghc.withPackages (p: with p; [relude pretty-simple])}/bin/ghci -ghci-script ${pkgs.writeText "ghci.conf" '' + :set -XNoImplicitPrelude + :set -XFlexibleContexts + :set -XFlexibleInstances + :set -XOverloadedStrings + :set prompt "\ESC[38;5;208m\STXλ>\ESC[m\STX " + :set -ferror-spans -freverse-errors -fprint-expanded-synonyms + :set -interactive-print Text.Pretty.Simple.pPrint + import Relude''} + '' + ) ]; sessionVariables = { EDITOR = "nvim"; -- cgit 1.4.1