add principle type-schemes by damas-milner

pull/315/head
Sam L'ecuyer 9 years ago
parent 8aa7e6df36
commit 173d2e811c
Loading…
Cancel
Save