Talk:Idris (programming language)
 | This article was nominated for deletion on 27 April 2013. The result of the discussion was keep. |
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.