Skip to content

improve printing of arrows with labelled arguments#2778

Merged
anmonteiro merged 1 commit intomasterfrom anmonteiro/better-labeled-type-sigJul 29, 2024

Commits

Commits on Jul 29, 2024