Idris Programming

General

• Idris: A Language for Type-Driven Development
  www.idris-lang.org
• Documentation for the Idris Language
  docs.idris-lang.org
• Documentation for the Idris 2 Language
  idris2.readthedocs.io
• Idris (programming language) on Wikipedia
  en.wikipedia.org
• Idris Language on GitHub
  github.com/idris-lang
• Idris Hackers on GitHub
  github.com/idris-hackers
• Embracing Skill Issues - Idris Day 1 - 12 Programming Languages in 4 Weeks - MTOL 12.1 on YouTube
  www.youtube.com/watch

Got some input?

If you have suggestions, questions, recommendations, feedback or want to send a message to us for another reason, feel free to Contact Us (no spam please).

Please note that we do not guarantee a reply, but if you have a more serious inquiry, then be sure to leave your fully contact information.