lib:hindley-milner

Modules

• Language.HM
• Language.HM.AlgorithmW
• Language.HM.Alpha
• Language.HM.Term
• Language.HM.Theta
• Language.HM.Type
• Language.HM.TypeError

Dependencies

• base lib:base >=4.8 && <4.9
• containers lib:containers >=0.5
• data-fix lib:data-fix >=0
• mtl lib:mtl >=0
• transformers lib:transformers >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• hindley-milner test:spec