issues
search
disco-lang
/
disco
Functional teaching language for use in a discrete mathematics course
Other
164
stars
23
forks
source link
Allow `><` as syntax for product types
#370
Closed
byorgey
closed
11 months ago
byorgey
commented
11 months ago
Also update documentation to match. Closes #333.
333 also speculated about
requiring
><
syntax for product types, but that seems too disruptive. For now we'll continue to allow
*
syntax; I wish we could allow
*
syntax for Cartesian product of sets too!
Also update documentation to match. Closes #333.
333 also speculated about requiring
><syntax for product types, but that seems too disruptive. For now we'll continue to allow*syntax; I wish we could allow*syntax for Cartesian product of sets too!