5 lines · 63 B · Text
RawDownload
{} let abbrev = abbrev rule main = parse  [`0` - `9`] { } ;