- Enclose shortcut commands in function for nvim-coqtail - Add ghci/.ghci - Add gitignore
4 lines
84 B
Plaintext
4 lines
84 B
Plaintext
-- From: https://github.com/tomtomjhj/dots/blob/master/.ghci
|
|
|
|
-- :set prompt "λ> "
|