Menu

rcghci

A script that wraps a GHCI instance and make it available as a langauge server for editors.

PyPI page pypi.org/project/rcghci
Project JSON piwheels.org/project/rcghci/json
Versions 14
Files 14
Downloads (all time) loading...
Downloads (last 30 days) loading...

Install

sudo pip3 install rcghci

Should I use sudo? pip or pip3?

Issues with this package?

Check if there's an open issueSearch
Package or version missing?New issue
Something else?New issue

Page last updated 2020-09-29 00:20 UTC