15 Feb
2014
15 Feb
'14
2:31 a.m.
On Thu, 13 Feb 2014, Carter Schonwald wrote:
Caseable? PatternLike?
The reason I went with ConLike originally (apart from not noticing the clash) was that (bidirectional) pattern synonyms can also be used in expressions, so they behave like constructors in both contexts.