We 💙 our community, but this repository does not accept unsolicited pull requests at this time.
Please read this community blog post for details.
- Open a topic on the Lean forum
- Discuss the proposal with the maintainers
- After receiving the go-ahead, submit a pull request
Pull requests must follow Exercism's style guide.
Before submitting, please read:
When opening a PR:
- Clearly describe the problem and the solution
- Link to the corresponding forum discussion
- Add a link to the PR in that same discussion
If the PR touches an existing exercise, please also consider this warning.
Practice exercises should follow the Add a Practice Exercise docs.
All exercises must include a test generator located in:
generator/Generator/Generator
The generator must:
- be imported by
generator/Generator/Generator.lean - define the required generator functions
- register them in the
dispatchtable
The Lean track provides a generator script to help with this process.
See the generator documentation.