fluencelabs/gitbook-docs
1
0
Fork 0
mirror of https://github.com/fluencelabs/gitbook-docs synced 2025-04-25 07:52:14 +00:00
Code Issues Projects Releases Wiki Activity

GitBook: [docs] one page modified

Browse Source
This commit is contained in:
boneyard93501 2021-04-07 20:06:29 +00:00 committed by gitbook-bot
parent 639a68321d
commit 6496709248
No known key found for this signature in database
GPG Key ID: 07D2180C7B12D0FF
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
knowledge_knowledge/knowledge_aquamarine/README.md
View File

@ -12,8 +12,6 @@ An alternative, complementary approach is based on [Process calculus](https://en
Aquamarine, Fluence's distributed composition language and runtime, is based on π-calculus and provides a solid theoretical basis toward the design, modeling, implementation, and verification of a wide class of distributed, peer-to-peer networks, applications and backends.
TODO: maybe add some non-fluence examples; definitely get to the verification bit.
## Language
[Aquamarine Intermediate Representation](https://github.com/boneyard93501/docs/tree/a512080f81137fb575a5b96d3f3e83fa3044fd1c/src/knowledge-base/knowledge_aquamarine__air.md) \(AIR\) is a low-level language modelled after the [WebAssembly text format](https://developer.mozilla.org/en-US/docs/WebAssembly/Understanding_the_text_format) and allows developers to manage network peers as well as services and backends. AIR, while intended as a compile target, is currently the only Aquamarine language implementation although a high level language \(HLL\) is currently under active development.