Re: [isabelle] Composing BNFs

Hi Dmitriy,

thanks for that.

>     val live_As = [ at {typ 'a}, @{typ 'b}]
>     val dead_As = []

Is there a reason why I need to specify the live variables? Surely the
internal bookkeeping of BNF already knows which variables are live and
which are dead.


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