Idris 2 Community (Unofficial)
Expert@idris-community
Non-core projects for the Idris 2 programming language. Feel free to add projects you want collaboration for.
views 0 projects
Apply Non-core projects for the Idris 2 programming language. Feel free to add projects you want collaboration for.