Open TathagataChakraborti opened 3 weeks ago
Verbalized output does not cover situations where goals are types. Probably not worth fixing.
Verbalized output does not cover situations where goals are types. Probably not worth fixing.