Notes from meeting

src/SUMMARY.md

@@ -2,26 +2,41 @@
 
 [Introduction](introduction.md)
 
-# Getting Started
+# Getting Started With Stwo-Cairo
+
+Clarify that Stwo-Cairo is a "particular application" of Stwo.
 
 - [Quickstart](getting-started/quickstart.md)
 - [Installation](getting-started/installation.md)
+- [Programming]
+- [Bootloading]
 - [Troubleshooting](getting-started/troubleshooting.md)
 
-# How It Works
+# AIR Development
+
+- [Stwo As a "Universal AIR Prover/Verifier"]
+- [How to Write an AIR using Stwo abtractions]
+- ["Maya's Simple M31 AIR" example]
+- [Lookup Abstraction]
+- [Seperate OpCode, Seperate AIRs] (composition of AIRs)
+
+# Cairo as a Stwo AIR
+
+How Cairo is build upon Stwo.
+
+- [Cairo](background/cairo.md)
+- [Builtins](background/builtins.md)
+
+# How Does Circle-STARK Work?
+
+(Some of the contents is porting Leo LaTex doc)
 
 - [Architecture Overview](how-it-works/architecture.md)
 - [Proving a Cairo Program](how-it-works/cairo.md)
 - [AIR](how-it-works/air.md)
 - [Columns](how-it-works/columns.md)
 - [Lookups](how-it-works/lookups.md)
 
-# Background
-
-- [Cairo](background/cairo.md)
-- [Circle STARKs & Circle FRI](background/circle-starks.md)
-- [Builtins](background/builtins.md)
-
-# Roadmap
+# Users of Stwo
 
-- [Roadmap](roadmap.md)
+(other people using stwo)