Formal grammar specification of the ZoKrates DSL in PEG (Pest).
This is experimental.
The example folder is copied from zokrates_cli/examples
with the following changes:
- Remove error/wrong-syntax.code
- Remove error/unassigned.code
Formal grammar specification of the ZoKrates DSL in PEG (Pest)
Formal grammar specification of the ZoKrates DSL in PEG (Pest).
This is experimental.
The example folder is copied from zokrates_cli/examples
with the following changes:
Formal grammar specification of the ZoKrates DSL in PEG (Pest)