François Pottier
Results
22
issues of
François Pottier
This PR adds support for `#scope ... #endscope`. This construct limits the effect of macro definitions and undefinitions. In other words, `#endscope` restores the macro environment that existed when `#scope`...
Hello! I am trying to define a function by well-founded recursion (using `Equations ... by wf`). The definition involves a `with` node. There is a recursive call inside the `with`...