<div dir="ltr"><div>I am happy to announce the first release of hindley-milner-type-check.<br><br></div><div>It is generic type checker for lambda-calculus augmented with let-expressions,</div><div>case-expressions pattern-matching and polymorphism. <br></div><div>Library can report source code locations and returns the list of all errors if any.<br></div><div><br></div><div>The library is generic in terms of source code locations, names for variables, literals</div><div>of the language. <br></div><br><div>You can find tutorials and examples in the github repo. <br></div><div></div><div><br>Links:<br></div><div><br></div><div>Hackage: <a href="https://hackage.haskell.org/package/hindley-milner-type-check">https://hackage.haskell.org/package/hindley-milner-type-check</a><br></div><div>Github: <a href="https://github.com/anton-k/hindley-milner-type-check">https://github.com/anton-k/hindley-milner-type-check</a></div><div><br></div><div>Happy type-checking! Cheers,<br></div><div>Anton<br></div><div><br></div></div>