mirror of
https://github.com/AleoHQ/leo.git
synced 2024-09-11 15:05:33 +03:00
Merge branch 'update/markdown' of https://github.com/AleoHQ/leo into update/markdown
This commit is contained in:
commit
66a27843fc
10
README.md
10
README.md
@ -1,5 +1,10 @@
|
||||
# The Leo Programming Language
|
||||
|
||||
<!-- generated by mermaid compile action - START -->
|
||||
![~mermaid diagram 1~](/.resources/README-md-1.png)
|
||||
<details>
|
||||
<summary>Mermaid markup</summary>
|
||||
|
||||
```mermaid
|
||||
gantt
|
||||
title Test Diagram
|
||||
@ -9,6 +14,9 @@ gantt
|
||||
Another task :after a1, 20d
|
||||
```
|
||||
|
||||
</details>
|
||||
<!-- generated by mermaid compile action - END -->
|
||||
|
||||
* Programs should be formatted:
|
||||
1. Import definitions
|
||||
2. Circuit definitions
|
||||
@ -567,4 +575,4 @@ cargo install --path .
|
||||
|
||||
- Change `target` directory to some other directory to avoid collision.
|
||||
- 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`.
|
||||
|
Loading…
Reference in New Issue
Block a user