Ви не можете вибрати більше 25 тем
Теми мають розпочинатися з літери або цифри, можуть містити дефіси (-) і не повинні перевищувати 35 символів.
Nicolas Lenz
ae7bb47490
Add Data.Char
|
6 місяці тому | |
|---|---|---|
| .gitignore | 7 місяці тому | |
| README.md | 7 місяці тому | |
| ghci.conf | 6 місяці тому | |
| screenshot.png | 7 місяці тому |
README.md
README.md
GHCI config
This repo contains my config for the GHCI. It has a pretty prompt and loads language extensions and modules I use. Save ghci.conf into ~/.ghc/ or as ~/.ghci and it should work. For more information (like how to use on Windows) see here.