[m-rev.] for review: structured higher order types in type error messages
Zoltan Somogyi
zoltan.somogyi at runbox.com
Fri Sep 25 15:34:22 AEST 2020
2020-09-25 13:15 GMT+10:00 "Peter Wang" <novalazy at gmail.com>:
> The rest looks fine.
Thank you. I followed both your suggestions.
Zoltan.
More information about the reviews
mailing list