Add link to main website (#13)

Author: soareschen

content/SUMMARY.md

@@ -20,35 +20,43 @@
 
 # Design Patterns
 
+- [Component Presets]()
 - [Associated Types]()
     - [Parameterized Associated Types]()
     - [Impl-side Generic Types]()
     - [Associated Type Specialization]()
     - [`HasType`]()
+- [Trait-Generic Providers]()
+    - [`WithProvider`]()
+    - [`UseContext`]()
+    - [`UseType`]()
+    - [`UseDelegate`]()
 - [Error Handling]()
     - [`HasErrorType`]()
     - [From Errors]()
     - [`CanRaiseError`]()
+    - [Error Wrapping]()
 - [Provider Composition]()
     - [Provider Middleware]()
-- [Generalized Providers]()
-    - [`WithProvider`]()
-    - [`UseContext`]()
-    - [`UseType`]()
-    - [`UseDelegate`]()
+    - [Detached Provider]()
+- [Inner]()
 - [Field Accessors]()
     - [`HasField`]()
     - [`HasFieldMut`]()
     - [Field Macros]()
-- [Context-Generic Dispatch]()
-    - [App-Specific Associated Types]()
+- [Builder]()
+- [Dispatcher]()
+- [Generic Data Types]()
 - [Async Generic]()
 - [Fully Abstract Programs]()
 
 # Domain-Specific Patterns
 
+- [Runtime]()
 - [Logging and Telemetry]()
 - [Encoding]()
+- [Command Line Parsing]()
+- [Authentication]()
 
 # Related Concepts
 

content/blanket-implementations.md

@@ -222,6 +222,6 @@ Although a context many define its own context-specific provider to override the
 provider, it would face other limitations such as not being able to implement other traits
 that may cause a conflict.
 
-In practice, we consider that blanket implementations allow for _a singule context-generic provider_
+In practice, we consider that blanket implementations allow for _a singular context-generic provider_
 to be defined. In future chapters, we will look at how to relax the singular constraint,
 to make it possible to allow _multiple_ context-generic or context-specific providers to co-exist.

content/introduction.md

@@ -6,6 +6,9 @@ to be implemented and composed in a modular, generic, and type-safe way.
 
 ## What is Context-Generic Programming
 
+A high level overview of CGP is available on the [project website](https://www.contextgeneric.dev/).
+This section contains a summarized version of the overview.
+
 At its core, CGP makes use of Rust's trait system to build generic
 component _interfaces_ that decouple code that _consumes_ an interface
 from code that _implements_ an interface.