Idris
Tommy + the language of Idris
Home Capabilities Languages Idris
Idris Examples
I've used Idris but not on any of the projects / companies featured on this website. Feel free to chat with me to follow up on any topic you'd like to hear more about!
Check out my other Capabilities