This website requires JavaScript.
Explore
Help
Sign In
sercanto
/
rcfiles
Watch
1
Star
0
Fork
You've already forked rcfiles
0
Code
Issues
Pull requests
Packages
Projects
Releases
Wiki
Activity
b7cb2b3ee4
rcfiles
/
.ghc
/
ghci.conf
Serĉanto de Scio
fad8f905d0
Initial commit of ghci.conf
2016-04-08 17:35:57 +10:00
2 lines
22 B
Plaintext
Raw
Blame
History
:set prompt "%s λ: "
Reference in a new issue
View git blame
Copy permalink
