theam/haskell-do
{ "createdAt": "2017-02-01T18:25:24Z", "defaultBranch": "master", "description": ":pencil2: :bar_chart: - The Haskell code editor focused on interactive development.", "fullName": "theam/haskell-do", "homepage": "", "language": "Haskell", "name": "haskell-do", "pushedAt": "2018-02-10T18:56:50Z", "stargazersCount": 352, "topics": [ "code-editor", "haskell", "interactive-coding", "notebook" ], "updatedAt": "2024-11-05T21:12:07Z", "url": "https://github.com/theam/haskell-do"}![Banner]!(static/out.jsexe/banner.png)
haskell.do is a Haskell code editor, centered around interactive development. You can get it on the website.
Pull Requests are greatly appreciated, check out [our contributing guidelines]!(CONTRIBUTING.md).
Building from source
Section titled “Building from source”The only 3rd-party requirements to build haskell.do are Stack and NodeJS (due to GHCJS).
git clone https://github.com/theam/haskell-do && cd haskell-do
stack setup --stack-yaml=client-stack.yaml to setup GHCJS (note that it isn’t supported on Windows)
stack Build.hs -h for detailed usage of the build file.
stack Build.hs -a for building project.
stack Build.hs -r for running haskell.do on port 8080.
Docker-related
Section titled “Docker-related”haskell-do can be executed within a Docker container. For convenience, the building and execution commands are provided within the Makefile.
NB : These instructions assume the user has already created a docker machine called “dev”.
NB 2 : OSX users usually need to run the following command to configure VirtualBox in order to set up port forwarding:
VBoxManage modifyvm "dev" --natpf1 "tcp-port8080,tcp,,8080,,8080"Once that is done, Docker can be configured and started:
docker-machine start dev
eval $(docker-machine env dev)Then, the haskell-do image can be built and run:
make docker
make docker-runIf everything went well, it is now possible to point a browser to http://localhost:8080 and work with haskell-do.
Contributing
Section titled “Contributing”Would you like to contribute? Make sure that you’ve read our contributor guidelines. We’d like to hear from you and your ideas, get in touch with other contributors through: