Skip to content
<awesome-gh-repos>
vic

jozefg/hm

A small implementation of type inference
Source code at GitHub https://github.com/jozefg/hm
jozefg/hm.json
{
  "createdAt": "2015-02-13T03:42:11Z",
  "defaultBranch": "master",
  "description": "A small implementation of type inference",
  "fullName": "jozefg/hm",
  "homepage": "",
  "language": "Standard ML",
  "name": "hm",
  "pushedAt": "2015-05-19T02:33:00Z",
  "stargazersCount": 80,
  "topics": [],
  "updatedAt": "2025-08-11T07:23:38Z",
  "url": "https://github.com/jozefg/hm"
}

hm

Section titled “hm”

I’m TAing an introduction to functional programming class at CMU. A bunch of people were asking how type inference works and I ended up sketching an implementation of algorithm W.

Hopefully this will eventually be polished enough to actually share with the people I TA.