undefined | Better HN

0 pointscinntaile4y ago0 comments

Tiny nitpick but it's Wadler, not Walder. Maybe you knew this and it was just a typo.

0 comments

1 comments · 1 top-level

Ah, was a typo. Can't edit anymore but thanks for the catch!

j / k navigate · click thread line to collapse