From c02b5d1c427b4a203eef65e2f05d1e3faa066fbb Mon Sep 17 00:00:00 2001
From: Charles <sircharlesaze@gmail.com>
Date: Fri, 6 Sep 2019 15:09:46 +0200
Subject: added ghci and gdb config files

---
 .ghci | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .ghci

(limited to '.ghci')

diff --git a/.ghci b/.ghci
new file mode 100644
index 0000000..ec73138
--- /dev/null
+++ b/.ghci
@@ -0,0 +1 @@
+:set prompt λ>
-- 
cgit