AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2025-01-05 08:50:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add markdown changes

Browse Source
This commit is contained in:
GitHub Action 2020-06-16 00:07:57 +00:00
parent 7ce86f854e
commit 883dd8014d
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
README.md
View File

@ -1,5 +1,10 @@
# The Leo Programming Language # The Leo Programming Language
<!-- generated by mermaid compile action - START -->
![~mermaid diagram 1~](/.resources/README-md-1.png)
<details>
<summary>Mermaid markup</summary>
```mermaid ```mermaid
gantt gantt
title Test Diagram title Test Diagram
@ -9,6 +14,9 @@ gantt
Another task :after a1, 20d Another task :after a1, 20d
``` ```
</details>
<!-- generated by mermaid compile action - END -->
* Programs should be formatted: * Programs should be formatted:
1. Import definitions 1. Import definitions
2. Circuit definitions 2. Circuit definitions
@ -567,4 +575,4 @@ cargo install --path .
- Change `target` directory to some other directory to avoid collision. - Change `target` directory to some other directory to avoid collision.
- Figure out how `leo prove` should take in assignments. - Figure out how `leo prove` should take in assignments.
- Come up with a serialization format for `.leo.pk`, `.leo.vk`, and `.leo.proof`. - Come up with a serialization format for `.leo.pk`, `.leo.vk`, and `.leo.proof`.