Talk:Idris (programming language)

Please do not delete
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”
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)