@hackage visualize-type-inference0.0.1.0

Simulate simple constraint-based type inference

Constraint-based inference for simple types is traced step-by-step, both for the original algorithm J that eagerly applies substitutions gained from unification, and a more modern conception that separates constraint generation from constraint solving.