On 2013-02-06 13:56, Timon Gehr wrote:
Just like pattern matching usually works. '?a' identifiers are matched to subterms. (This is necessary because 'a' will match a symbol.)
I don't know how pattern matching usually works that's why I'm asking. But that syntax doesn't look like the ones I've seen, like in Scala.
-- /Jacob Carlborg
