Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

---

You are here		gilmi.me m.me - Giml's type inference engine
|	|	boxbase.org Hindley-Milner type system/Algorithm W study	4.3 parsecs away Travel
|	|	These ideas and thoughts have converged towards type theory, and I remembered familiar patterns so I did a closer study at the Hindley-Milner, to understand it much better than before.
|	|	blog.polybdenum.com Subtype Inference by Example Part 2: Parsing and Biunification | Considerations on Codecrafting	4.0 parsecs away Travel
|	|	This post is part 2 of a series. Click here to go to the beginning of the series.
|	|	slightknack.dev Mirror: Hindley Milner Type Inference - Isaac Clayton	1.5 parsecs away Travel
|	|	A cozy little corner of the web.
|	|	nabeelvalley.co.za Life, Gleam, and Parser Combinators	11.1 parsecs away Travel
|		A short introduction to Parser Combinators

home connect explore probe about/faq blog mcp contact updated: 2026-07-01