ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 10:12:21 +03:00
Code Issues Packages Projects Releases Wiki Activity
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
30 Commits 54 Branches 46 Tags 340 MiB
Rust 98%
Shell 2%
0a8cda3d7f
Go to file
howardwu 0a8cda3d7f Rename Function's name from 'variable' to 'function_name', and adds FunctionName type in pest and types
2020-04-15 23:58:47 -07:00
src Rename Function's name from 'variable' to 'function_name', and adds FunctionName type in pest and types 2020-04-15 23:58:47 -07:00
.gitignore Initial commit 2020-03-09 20:55:41 -07:00
Cargo.lock add constraints and snark functions 2020-03-31 13:47:51 -07:00
Cargo.toml add constraints and snark functions 2020-03-31 13:47:51 -07:00
numbers.csv Initial commit 2020-03-09 20:55:41 -07:00
README.md Create README.md 2020-03-09 20:58:09 -07:00
simple.program Rename Function's name from 'variable' to 'function_name', and adds FunctionName type in pest and types 2020-04-15 23:58:47 -07:00

README.md

language