mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-18 15:31:32 +03:00
before pull from update/markdown
This commit is contained in:
parent
4720cc2607
commit
25fdc766cc
25
README.md
25
README.md
@ -1,21 +1,20 @@
|
||||
# The Leo Programming Language
|
||||
|
||||
<!-- generated by mermaid compile action - START -->
|
||||
![~mermaid diagram 1~](/.resources/README-md-1.png)
|
||||
<details>
|
||||
<summary>Mermaid markup</summary>
|
||||
## Compiler Architecture
|
||||
|
||||
```mermaid
|
||||
gantt
|
||||
title Test Diagram
|
||||
|
||||
section Section
|
||||
A task :a1, 2014-01-01, 30d
|
||||
Another task :after a1, 20d
|
||||
graph LR
|
||||
Pass1(Syntax Parser) -- ast --> Pass2(Type Resolver)
|
||||
|
||||
Pass2 -- imports --> Pass3(Import Resolver)
|
||||
Pass3 -- statements --> Pass4
|
||||
|
||||
Pass2 -- statements --> Pass4(Synthesizer)
|
||||
|
||||
Pass4 -- constraints --> Pass5(Circuit)
|
||||
```
|
||||
|
||||
</details>
|
||||
<!-- generated by mermaid compile action - END -->
|
||||
## Language Specification
|
||||
|
||||
* Programs should be formatted:
|
||||
1. Import definitions
|
||||
@ -575,4 +574,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