[Haskell-cafe] [ANN] hindley-milner-type-check-0.1.1.0 - type-checker for extended lambda-calculus

[Anton Kholomiov]

I am happy to announce the first release of hindley-milner-type-check.

It is generic type checker for lambda-calculus augmented with
let-expressions,
case-expressions pattern-matching and polymorphism.
Library can report source code locations and returns the list of all errors
if any.

The library is generic in terms of source code locations, names for
variables, literals
of the language.

You can find tutorials and examples in the github repo.

Links:

Hackage: https://hackage.haskell.org/package/hindley-milner-type-check
Github: https://github.com/anton-k/hindley-milner-type-check

Happy type-checking! Cheers,
Anton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20210608/5b13be0a/attachment.html>