aboutsummaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
authorCharles <sircharlesaze@gmail.com>2019-09-06 15:09:46 +0200
committerCharles <sircharlesaze@gmail.com>2019-09-06 15:09:46 +0200
commitc02b5d1c427b4a203eef65e2f05d1e3faa066fbb (patch)
tree3727d8265160e8416d09c22a28b65ebb445b3aa7 /.ghci
parent35651b9d0ef722ec5ab63aa96bd03b3eede92d51 (diff)
downloaddotfiles-c02b5d1c427b4a203eef65e2f05d1e3faa066fbb.tar.gz
dotfiles-c02b5d1c427b4a203eef65e2f05d1e3faa066fbb.tar.bz2
dotfiles-c02b5d1c427b4a203eef65e2f05d1e3faa066fbb.zip
added ghci and gdb config files
Diffstat (limited to '.ghci')
-rw-r--r--.ghci1
1 files changed, 1 insertions, 0 deletions
diff --git a/.ghci b/.ghci
new file mode 100644
index 0000000..ec73138
--- /dev/null
+++ b/.ghci
@@ -0,0 +1 @@
+:set prompt λ>