Re: [Typer] [Git][monnier/typer][graveline] Added Parser_default

31 Mai 2018


      ...
+    (lambda l -> Parser_default l);
Also knows as

       Parser_default;


-- Stefan

Stefan Monnier