crisp-typeck 1.6.0

HM-style type inference and constraint solving (spec §3.4)
Documentation

HM-style type inference and constraint solving (spec §3.4).