AlgorithmW

Description

Example implementation of Algorithm W for Hindley-Milner type inference.

Description

Complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference in Haskell.

README.md

Example implementation of Algorithm W for Hindley-Milner type inference.

Metadata

0.1.1.0

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all