Talk:Idris (programming language)

Please do not delete this page. I came here because I needed information on the Idris language after I got stuck with a someone's code from an old research project. This article contained enough information that I can track down all the documentation I need. Without this article, I would probably would have had a much more difficult time getting the information I needed.