Add reports to mdbook summary

Author: szg251

docs/.gitignore

@@ -0,0 +1,2 @@
+/book
+/api.md

docs/SUMMARY.md

@@ -1,15 +1,30 @@
+<!-- markdownlint-disable-file single-title -->
 # Summary
 
+# User Guide
+
 - [Introduction](introduction.md)
+- [Using LambdaBuffers](using-lambdabuffers.md)
+  - [LambdaBuffers to Haskell](haskell.md)
+  - [LambdaBuffers to Purescript](purescript.md)
+  - [LambdaBuffers to Plutarch](plutarch.md)
+  - [LambdaBuffers to Rust](rust.md)
+
+# Reference Guide
+
 - [Getting started](getting-started.md)
-- [LambdaBuffers to Haskell](haskell.md)
-- [LambdaBuffers to Purescript](purescript.md)
-- [LambdaBuffers for Plutarch](plutarch.md)
-- [LambdaBuffers for Rust](rust.md)
 - [Design](design.md)
 - [API](api.md)
 - [LambdaBuffers Frontend (.lbf) syntax](syntax.md)
 - [Compiler](compiler.md)
 - [Codegen](codegen.md)
 - [Command line interface](command-line-interface.md)
 - [Comparison matrix](comparison-matrix.md)
+- [Catalyst reports](catalyst-reports.md)
+  - [Catalyst 9 reports](catalyst09-reports/README.md)
+    - [Milestone 1: Research](catalyst09-reports/milestone-1.md)
+    - [Milestone 2: End to end proof of concept](catalyst09-reports/milestone-2.md)
+    - [Milestone 3: Testing and documentation](catalyst09-reports/milestone-3.md)
+    - [Milestone 4: Project adoption](catalyst09-reports/milestone-3.md)
+  - [Catalyst 10 reports](catalyst10-reports/README.md)
+    - [Milestone 1: Rust support](catalyst10-reports/milestone-1.md)

docs/catalyst-reports.md

@@ -0,0 +1,12 @@
+# Catalyst reports
+
+Our project was funded by Catalyst. As a proof of completion, we collected our reports of
+finished Catalyst projects here:
+
+- [Catalyst 9 reports](catalyst09-reports)
+  - [Milestone 1: Research](catalyst09-reports/milestone-1.md)
+  - [Milestone 2: End to end proof of concept](catalyst09-reports/milestone-2.md)
+  - [Milestone 3: Testing and documentation](catalyst09-reports/milestone-3.md)
+  - [Milestone 4: Project adoption](catalyst09-reports/milestone-3.md)
+- [Catalyst 10 reports](catalyst10-reports)
+  - [Milestone 1: Rust support](catalyst10-reports/milestone-1.md)

docs/catalyst09-reports/README.md

@@ -0,0 +1,6 @@
+# Catalyst 9 reports
+
+- [Milestone 1: Research](catalyst09-reports/milestone-1.md)
+- [Milestone 2: End to end proof of concept](catalyst09-reports/milestone-2.md)
+- [Milestone 3: Testing and documentation](catalyst09-reports/milestone-3.md)
+- [Milestone 4: Project adoption](catalyst09-reports/milestone-3.md)

docs/catalyst10-reports/README.md

@@ -0,0 +1,3 @@
+# Catalyst 10 reports
+
+- [Milestone 1: Rust support](catalyst10-reports/milestone-1.md)

docs/using-lambdabuffers.md

@@ -0,0 +1,14 @@
+# Using LambdaBuffers
+
+LambdaBuffers heavily relies on Nix to orchestrate code generation and dependency management.
+If you don't have Nix installed with flakes enabled, please refer to the
+[Getting Started](getting-started.md) guide.
+
+To set up a project with LambdaBuffers and multi-language stack, refer to our demo project at [lambda-for-cardano](https://github.com/mlabs-haskell/lambda-buffers-for-cardano).
+
+To see, how LambdaBuffers code is transpiled into other languages, see:
+
+- [LambdaBuffers to Haskell](haskell.md)
+- [LambdaBuffers to Purescript](purescript.md)
+- [LambdaBuffers to Plutarch](plutarch.md)
+- [LambdaBuffers to Rust](rust.md)