Top network posts

• 186 Differences between Agda and Idris
• 42 Idris eager evaluation
• 21 Doing rank-n quantification in Idris
• 17 Is Idris really "strictly evaluated?"
• 16 Idris vectors vs linked lists
• 10 Is there a nice way to use `->` directly as a function in Idris?
• 8 Idris function to construct empty `List a` where `a` is bound to an instance of `Ord`?
• View more network posts →