config
/
ghc
Следить 1
В избранное 0
Форкнуть 0
Код Задачи 0 Pull Request'ы 0 Релизы 0 Вики Активность
My GHCI configuration.
Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.
7 коммитов
1 ветка
ветка: master
веток Теги
${ item.name }
Создать ветку ${ searchTerm }
из 'master'
${ noResults }
ghc
Nicolas Lenz ae7bb47490 Add Data.Char 2 месяцев назад
.gitignore Init repo 2 месяцев назад
README.md Update readme 2 месяцев назад
ghci.conf Add Data.Char 2 месяцев назад
screenshot.png Add readme 2 месяцев назад

README.md

GHCI config

Screenshot

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.