magnusjonsson Karma 137 Created 16 years ago Recent Submissions 1. ▲ How the Ocaml type checker works | LTU (lambda-the-ultimate.org) 1 point · 12 years ago · 0 comments All submissions on HN · View profile on HN