ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
5d6c402c04
leo/docs/grammar
History
Alessandro Coglio eab2e4466d [ABNF] Revise console statements. 
Add `console.assert_eq` and `console.assert_neq`.

Remove `console.log` and `console.error`.

Remove the format string grammar, since it was only used for console print
calls, which have been removed.

This matches #2023.
2022-08-17 21:45:40 -07:00
..
src forbid unsafe_code in all crates 2022-08-05 00:36:41 +02:00
.gitattributes [ABNF] Simplify .gitattribute file. 2022-05-28 18:35:03 -07:00
abnf-grammar.txt [ABNF] Revise console statements. 2022-08-17 21:45:40 -07:00
Cargo.toml restructure compiler and delete unused code 2022-02-22 15:12:52 -08:00
README.md [ABNF] Minor README fixes and improvements. 2022-05-28 18:47:27 -07:00

README.md

# ABNF Grammar

This directory contains both the ABNF grammar for the Leo language and a Rust binary to help convert the ABNF grammar file to a markdown file.

Markdown Conversion Instructions

Assuming you are in the grammar directory, run cargo run abnf-grammar.txt > README.md.