Activity

  Dennis Hackethal addressed criticism #3543.

Do you mean "HTV is underspecified by Deutsch" ? But that is not a criticism ? It does not point to a mistake/ contradiction with HTV ?

#3543·Bart Vanderhaegen, about 13 hours ago

It’s a criticism. Deutsch says to use HTV but never explains in sufficient detail how to do that.