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

Anton Kholomiov anton.kholomiov at gmail.com
Tue Jun 8 15:19:49 UTC 2021

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

It is generic type checker for lambda-calculus augmented with
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.


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

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

More information about the Haskell-Cafe mailing list