flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-07 23:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

autopushed

Browse Source
This commit is contained in:
Flancian
2022-08-05 22:11:33 +02:00
parent 404ba8b5a4
commit 3f4c946149
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
agora paper.md
+6 -1
View File
@@ -11,5 +11,10 @@
By default, this paper will be is: By default, this paper will be is:
- The [[Abstract]] below, taken from a snapshot of the above on [[2022-08-05]]. - The [[Abstract]] below, taken from a snapshot of the above on [[2022-08-05]].
- #pull [[agora pkm chapter]] with maybe greater technicality? - #pull [[agora pkm chapter]] with greater technicality?
- Define [[m]], [[m prime]] and morphisms.
- Define Agora Protocol operations?
- [[say]]
- [[assert]]
- [[intent]] ~ [[m prime]]