violet is a programming language I created for researching dependent type in use. If you want to contribute the project, you will need the below information:
- Project: https://sr.ht/~dannypsnl/violet/
- Ticket tracker: https://sr.ht/~dannypsnl/violet/trackers
- Mailing lists: https://sr.ht/~dannypsnl/violet/lists