Type inference

[ShalokShalom]

Hi there :)

Thanks a lot for doing this.

Is type inference complete and providing type information optional?

[algebraic-dev]

Type inference for type systems "higher" than Hindley-Milner in relation to the lambda cube is undecidable thus we do not have complete type inference