Skip to content

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

Merged
WojciechMazur merged 1 commit intolts-3.3from backport-lts-3.3-20494Dec 6, 2024