notation

Hindley-Milner Notation

April 11, 2019