dakStatic type checker using Hindley–Milner type signaturescli-appclitypetypetypesstatic type checkerHindley-Midnertype system0.1.3 • Published 7 years ago