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
Tommy Sullivan - AI + Full Stack Software Builder + Leader