Top network posts

• 107 Erratic hole type resolution
• 66 Why is this Haskell program so much slower than an equivalent Python one?
• 32 Doing rank-n quantification in Idris
• 24 Online reference book for *implementing* concepts in type theory.
• 22 Compatibility of impredicative Set and function extensionality
• 22 Why is this version of 'fix' more efficient in Haskell?
• 20 Haskell: Why does Int perform worse than Word64, and why is my program far slower than C?
• View more network posts →