docs: add index in intro.md file, add first introduction part (Aggreg…

…ate Programming paragraph) and minor changes

site/.gitignore

@@ -18,3 +18,4 @@
 npm-debug.log*
 yarn-debug.log*
 yarn-error.log*
+yarn.lock

site/docs/intro.md

@@ -2,6 +2,13 @@
 sidebar_position: 0
 ---
 
-# Collektive Introduction
+# Collektive Documentation
 
-todo
+## Index
+1. [Getting Started](/docs/gettingstarted/)
+
+2. [Introduction](/docs/category/introduction/)
+    - [Aggregate Programming](../introduction/aggregate-programming/)
+    - [Field Calculus](../introduction/field-calculus/)
+    - [What is Collektive](../introduction/what-is-collektive/)
+

site/docs/introduction/_category_.json

@@ -3,6 +3,6 @@
   "position": 20,
   "link": {
     "type": "generated-index",
-    "description": "Descrizione della libreria come si collega ai paragrafi sotto l'indice..."
+    "description": "(How the library relates to the Aggregate Programming and Field Calculus sections? Answer in two sentences.)"
   }
 }

site/docs/introduction/aggregate-programming.md

@@ -0,0 +1,28 @@
+---
+title: Aggregate Programming 
+---
+
+# The Challenge of Maintaining Distributed Systems 
+
+The **progressive increase** in the number of interconnected devices, leads to a **rise in the costs** associated with maintaining distributed systems. This creates **significant challenges** in implementing software services on a **global scale** using the traditional approach of individually programming each agent. This situation drives the search for solutions aimed at improving the **autonomy** of computing systems and **reducing their complexity**.
+
+## Aggregate Programming as a Relevant Approach
+
+In this context, **aggregate programming** emerges as a relevant approach. It is based on the **functional composition** of **reusable collective behavior blocks**, with the goal of efficiently achieving **complex** and **resilient behaviors** in **dynamic networks**.
+
+### Key Properties of Aggregate Programming
+
+- **Self-stabilization**
+- **Independence from density**
+
+These properties are initially studied on **basic building blocks**, such as:
+- **Broadcasting**
+- **Distance estimation**
+- **Data aggregation**
+
+These building blocks are then transferred and validated on more **complex systems** created through **functional composition**.
+
+### Conceptual Roots in Field Calculus
+
+Aggregate programming finds its **conceptual roots** in **Field Calculus**.
+

site/docs/introduction/field-calculus.md

@@ -0,0 +1,3 @@
+---
+title: Field Calculus
+---

site/docs/introduction/what-is-collektive.md

@@ -0,0 +1,11 @@
+---
+title: What is Collektive
+---
+
+# What is the purpose of Collektive?
+
+# What is the purpose of Collektive?
+
+# What problems does Collektive solve?
+
+# What are the advantages of using Collektive?