config
/
ghc
Слідкувати 1
В обрані 0
Форк 0
Код Проблеми 0 Запити на злиття 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.