Skip to content

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS #9

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS #9

Annotations

1 error and 1 warning

check

failed Dec 5, 2024 in 27s