On: Things that Idris improves things over Haskell

[m-j-fox]

Depressing thing to Google. Seems like an interesting project that couldn't keep it's funding in volatile times. It might have been Swift or F# if developed at a better company.

[zem → m-j-fox]

they did the best job of operator associativity and precedence i've ever seen. still hoping some other languages pick up on it. http://lambda-the-ultimate.org/node/2943#comment-43411

[m-j-fox → zem]

Whitespace-implied parenthesis.

    1+2 * 3 == 9

Sick! I wish Haskell notices this.