# Pastebin Rdf8WEJ6
--[[ PARSING FUN! ]]

-- Some definitions:
date   = '%d%d/%d%d/%d%d%d%d'
numver = '%d+'
atom   = ':%w+'
-- Some rules:
rule    date    {'token', {'date',   token_string()}}
rule    number  {'token', {'number', token_string()}}
rule    atom    {'token', {'atom',   string.sub(token_string(), 2)}} -- ':foo' becomes 'foo'