Hindley–Milner

1. REDIRECT Hindley–Milner type system

{{redirect category shell|{{R from incomplete name}}{{R move}}}}