We want to parameterize pattern constructors with expressions. e.g. ``` {modBy 2} #0 & $x : _ ``` This new syntax enables us to achieve some use cases of pattern-functions in compiled languages without compile-time evaluation.
We want to parameterize pattern constructors with expressions. e.g.
This new syntax enables us to achieve some use cases of pattern-functions in compiled languages without compile-time evaluation.