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.
“similar to the one used by Agda”
Can someone who knows more about this than me please be a bit more specific? Is Idris based on exactly UTT, or is there some difference? I don't even know what UTT is, so I'm not of much help. 131.111.236.123 (talk) 19:40, 3 December 2014 (UTC)