DIJamner / InDependent

A gradual, dependently typed language
7 stars 1 forks source link

Allow implicit typing of abstractions #12

Open DIJamner opened 9 years ago

DIJamner commented 9 years ago

If lambda abstractions could be implicitly typed, it would reduce redundancy in code with type signatures and help to separate value-level code from type-level code within a function.