Awesome that you are reading this!
The goal of this repository is to teach formal programming facets. Suggestions are welcomed that help achieve this goal, with a preference to accept suggestions.
- For questions, you can create an Issue
- Textual changes go via Pull Requests
This GitHub follows the Contributor Covenant Code of Conduct.