On Sun, Mar 15, 2015 at 3:56 PM, Damien Tournoud <d...@damz.org> wrote: > > Hi Daniel, > > In the formal definition, you have: > > $throw $e; > > ... which I assume is a typo? > > Damien >
Woops! Yes, this is a typo. Thanks for the heads-up; fixing now ...