Open arthurp opened 7 years ago
We will need to decide exactly what the semantics of lenient pattern matching is and how it functions in different contexts (branch vs graft). The encoding will probably make use of lenient tuples (making this block on #166).
We will need to decide exactly what the semantics of lenient pattern matching is and how it functions in different contexts (branch vs graft). The encoding will probably make use of lenient tuples (making this block on #166).