From 1cace80e4832a5d250ef4b7ccd687996563fb01b Mon Sep 17 00:00:00 2001 From: venomade Date: Thu, 27 Feb 2025 17:06:42 +0000 Subject: Add old dotfiles --- nixos/config/ghci | 1 + 1 file changed, 1 insertion(+) create mode 100644 nixos/config/ghci (limited to 'nixos/config/ghci') diff --git a/nixos/config/ghci b/nixos/config/ghci new file mode 100644 index 0000000..31f559e --- /dev/null +++ b/nixos/config/ghci @@ -0,0 +1 @@ +:set prompt "λ " -- cgit 1.4.1-2-gfad0