Re: [isabelle] Confusing behavior of a paired set comprehension

Just some more fun with patterns in ML.

This is nothing special beyond infixes and symbolic names:

  fun ** * *** = ** + ***

Here are separate scopes for function vs. arguments:

  fun x x = x

It actually makes some sense here:

  fun foo {foo, bar} = foo
  fun bar {foo, bar} = bar


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.