A developer environment, for faster and efficient contributions

[AnirudhDaya]

Is your proposal related to a problem?

Yes, the need to support new contributors.

Describe the solution you'd like

I would like to add gitpod to your repo to help beginners contribute.

• Gitpod is an online IDE which can be launched from any GitHub page. Within seconds, Gitpod provides a fully working development environment, including a VS Code-powered IDE and a cloud-based Linux container explicitly configured for the project

  • Gitpod is highly contextual, such that it opens the IDE in the correct mode depending on the context:

  • If you are looking at a particular file of a certain commit on GitHub, starting a Gitpod workspace will check out the right version and open the file you’ve been looking at in the IDE.

  • Starting a Gitpod workspace from an issue will automatically create a branch and preconfigure the commit message.

  • Once you are in the IDE, you can interact with GitHub in various ways. Besides the obvious Git integration, you can do things like commenting inline in editors, approving and even merging PRs.

Describe alternatives you've considered

Other alternative is theia

If the feature is approved, would you be willing to submit a PR?

Yes, I would definitely like to submit a PR. I can add a badge to your repo in the CONTRIBUTING.md file similar to this one: <img src="https://img.shields.io/badge/Contribute%20with-Gitpod-908a85?logo=gitpod" alt="Contribute with Gitpod" />

[AnirudhDaya]

If the issue is valid. I would like to make a PR for the same.

[webdeb]

I think that would be very helpful to fix bugs collaboratively, and to climb the steep Haskell learning curve 👍