|
|
|
|
|
|
by kd0amg
4534 days ago
|
|
|
I think you should implement Hindley-Milner in the language of your choice for a small toy λ-calculus. Did this a little while ago (as a stepping stone to building an inference system for a more complicated calculus). https://gist.github.com/jrslepak/6158954 |
|
|