Activity
Bart Vanderhaegen addressed criticism #3536.
#3536·Dennis HackethalOP, about 1 month agoCriticising HTV would anyway be the more important first step.
The linked blog post has several criticisms of HTV.
Do you mean "HTV is underspecified by Deutsch" ? But that is not a criticism ? It does not point to a mistake/ contradiction with HTV ?