ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
abc50d8c3e
leo/docs/grammar
History
Alessandro Coglio abc50d8c3e [ABNF] Add syntax for static function calls. 
Also renames pre-existing (generic) function calls to 'free function calls', now
that we are effectively introducing a new kind of functions, namely (associated)
static functions, distinguished from free (i.e. non-associated) functions.

Also introduces notion of named type, as a type that has a name, which may be
either a keyword (e.g. `u8`, `address`) or an identifier (e.g. `Pedersen64`).
2022-06-20 13:46:43 -07:00
..
src restructure compiler and delete unused code 2022-02-22 15:12:52 -08:00
.gitattributes [ABNF] Simplify .gitattribute file. 2022-05-28 18:35:03 -07:00
abnf-grammar.txt [ABNF] Add syntax for static function calls. 2022-06-20 13:46:43 -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.