# dblia/type-inference

> Implementation of the Hindley-Milner algorithm, a classical type inference system for the lambda calculus using simple types, written in Haskell. Part of the Programming Languages II course.

- **Canonical URL**: https://githubrepo.cloud/repo/dblia/type-inference
- **GitHub Repository**: https://github.com/dblia/type-inference
- **Maintainer / Creator**: https://github.com/dblia
- **Discovered On**: Sep 30, 2026

---
*Indexed by GitHubRepo (https://githubrepo.cloud). Real-time open-source discovery & telemetry.*