Hindley-Milner III Solving the Constraints II

7/27/21

[You can adjust the column widths in the proof to see what you are interested in.]