autopushed

This commit is contained in:
2022-08-05 22:12:40 +02:00
parent d1ccda48cb
commit aa6320fae6
+4 -3
View File
@@ -12,9 +12,10 @@ 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 greater technicality? - #pull [[agora pkm chapter]] with greater technicality?
- Define [[m]], [[m prime]] and morphisms. - Define [[m]], [[m prime]], morphisms.
- Define [[Agora Protocol]] operations? - (An Agora as a category?)
- [[say]] - Define [[Agora Protocol]] operations.
- [[echo]]
- [[broadcast]] - [[broadcast]]
- [[share]] - [[share]]
- [[assert]] ~ [[m]] - [[assert]] ~ [[m]]