miniblog.

What types should you infer when code is invalid? In Garden, + only applies to integers. What should the type of "x" + "y" be? (1) Int: This produces cascading errors. (2) String: We've already emitted an error anyway. (3) Bottom. Opinions?

I'm trying to improve the readability of the --help output from difftastic. I'm experimenting with making example invocations bold, so they are easier to distinguish from the text. I'm also trying OSC 8 to make my URLs clickable. Opinions welcome :)

I'm not sure if I should use the term "text diff" or "textual diff" to refer to a conventional, line-oriented diff of text in difftastic. Any opinions? Which seems clearer to you?