dotfiles
personal configuration files and scripts
git clone
https://tongong.net/git/dotfiles.git
Log
|
Files
|
Refs
|
README
ghci (21B)
1
:set prompt "ghci> "