@hackage / lol-typing

Type inferencer for LOL (λω language)