Constructors can now take multiple arguments (which means that branches in match expressions now also take in a list of identifiers). This opens up the ability to remove product types by encoding them as multi-argument constructors, making progress on #27.
Constructors can now take multiple arguments (which means that branches in match expressions now also take in a list of identifiers). This opens up the ability to remove product types by encoding them as multi-argument constructors, making progress on #27.