diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 4203d39..0a12d00 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -6,6 +6,11 @@
 
 - [Installation](intro/installation.md)
 - [Getting Started](intro/getting-started.md)
+- [Named Parameters](intro/named-parameters.md)
+- [Data Types](intro/data-types.md)
+- [Modules](intro/modules.md)
+- [Effect Handlers](intro/effect-handlers.md)
+- [Case Study: Implementation of Prolog](intro/case-study-prolog.md)
 
 # Fram Language Reference
 
diff --git a/src/intro/case-study-prolog.md b/src/intro/case-study-prolog.md
new file mode 100644
index 0000000..856b977
--- /dev/null
+++ b/src/intro/case-study-prolog.md
@@ -0,0 +1 @@
+# Case Study: Implementation of Prolog
diff --git a/src/intro/data-types.md b/src/intro/data-types.md
new file mode 100644
index 0000000..80b75d0
--- /dev/null
+++ b/src/intro/data-types.md
@@ -0,0 +1,9 @@
+# Data Types
+
+## User Defined Types
+
+## Methods
+
+## Records
+
+## Existential Types
diff --git a/src/intro/effect-handlers.md b/src/intro/effect-handlers.md
new file mode 100644
index 0000000..9048608
--- /dev/null
+++ b/src/intro/effect-handlers.md
@@ -0,0 +1 @@
+# Effect Handlers
diff --git a/src/intro/modules.md b/src/intro/modules.md
new file mode 100644
index 0000000..5f28e8f
--- /dev/null
+++ b/src/intro/modules.md
@@ -0,0 +1,7 @@
+# Modules
+
+## Overview
+
+## Member Visibility
+
+## Packing Named Parameters
diff --git a/src/intro/named-parameters.md b/src/intro/named-parameters.md
new file mode 100644
index 0000000..30292ec
--- /dev/null
+++ b/src/intro/named-parameters.md
@@ -0,0 +1,11 @@
+# Named Parameters
+
+## Type Parameters
+
+## Regular Named Parameters
+
+## Optional Parameters
+
+## Implicit Parameters
+
+## Sections