3 ms·

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

• Laremere 4y ago
  Ah, was a typo. Can't edit anymore but thanks for the catch!