Idris 2
A programming language with dependent types
During my free time I like to help maintain the Idris2 programming language.
Some of my most visible contributions are in the surface of the language:
- String interpolation
- Raw strings
- Binding operators
- Namespaced fixities