Hacker News
- Show HN: Hindley-Milner Type Inference Algorithm in OCaml https://github.com/prakhar1989/type-inference#hindley-milner-type-inference 28 comments
Linking pages
Linked pages
- Docker: Accelerated Container Application Development https://docker.com 171 comments
- Lambda calculus - Wikipedia https://en.wikipedia.org/wiki/Lambda_calculus#Motivation 103 comments
- Church encoding - Wikipedia http://en.wikipedia.org/wiki/Church_encoding 58 comments
- Hindley–Milner type system - Wikipedia https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system 6 comments
- GitHub - mirage/alcotest: A lightweight and colourful test framework https://github.com/mirage/alcotest 3 comments
- Lecture 26: Type Inference and Unification https://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec26-type-inference/type-inference.htm 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - prakhar1989/type-inference: The Hindley Milner Type Inference Algorithm
See how to search.