This is your work, valued
Non-core projects for the Idris 2 programming language. Feel free to add projects you want collaboration for.
