Вы не можете выбрать более 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.