Skip to content
GitLab
Explore
Sign in
cduce
cduce
Issues
#16
Pretty printing of arrow type could be simplified
Arrows of the form A -> B & A -> C could be printed as a single arrow A -> B|C