Comment on Idris, a language that will change the way you think about programming (2015)parentComments−dllthomas10yAs I understand it, type inference breaks down on dependent types.
Comments
As I understand it, type inference breaks down on dependent types.