Commit 2022-05-05 05:36 b1da074a
View on Github →feat(data/sum/basic): Shortcuts for the ternary sum of types (#13678)
Define sum3.in₀, sum3.in₁, sum3.in₂, shortcut patterns for pattern-matching on a ternary sum of types.
feat(data/sum/basic): Shortcuts for the ternary sum of types (#13678)
Define sum3.in₀, sum3.in₁, sum3.in₂, shortcut patterns for pattern-matching on a ternary sum of types.