Errors and feedback from Christoph Baumann

[palmskog]

p109: "r_match s r0" missing in r_match_star2?
p110: re used instead of r?
p121: "For example, mst papers", typo
p170: "more flexible resolution strategy than more the more widely used type classes", more the more
p179: "or a type system to be defied", defined?
p182: "difference in emphasis, his can inhibit collaboration", his
p191: "REPL", previously undefined
p194: "is an underaddressed tenant POPLMark", of?
p199: "fill those holes in later in development.", redundant "in"?

[tlringer]

• p109: "r_match s r0" missing in r_match_star2?
  • @palmskog can you take this?
• p110: re used instead of r?
  • @palmskog can you take this as well?
• p121: "For example, mst papers", typo
  • already done
• p170: "more flexible resolution strategy than more the more widely used type classes", more the more
  • done
• p179: "or a type system to be defied", defined?
  • already done
• p182: "difference in emphasis, his can inhibit collaboration", his
  • done
• p191: "REPL", previously undefined
  • done
• p194: "is an underaddressed tenant POPLMark", of?
  • done
• p199: "fill those holes in later in development.", redundant "in"?
  • will not address