[vosper]

> In general the Idris type inference is not nearly as good as Haskells. I don't mean this in the "dependent type inference is undecidable" sense, but instead just generally.

Do you know if this is just because Idris is a much less mature language than Haskell, or its it something fundamental about the design?

[Buttons840]

Probably both. Dependant type systems are still an area of active research.