Talk:Idris (programming language)
Appearance
This article was nominated for deletion on 27 April 2013. The result of the discussion was keep. |
This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||
|
Please do not delete
[edit]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. — Preceding unsigned comment added by 108.87.18.12 (talk) 03:03, 28 April 2013 (UTC)
“similar to the one used by Agda”
[edit]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. N4m3 (talk) 19:41, 3 December 2014 (UTC)