# rocq-minicalc : a little demo of Lexing/Parsing in Rocq

Pierre Letouzey, 2019

License: CC0

This is a toy demo of the Rocq backend of `menhir`.

This micro-grammar recognizes arithmetic expressions : numbers, idents, `+` `*` `-` `/` and parentheses.
We provide a hand-written lexer and a minimal final test (compilation should display `OK`).
