Structure of chapters in the Introduction

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
 

src/intro/case-study-prolog.md

@@ -0,0 +1 @@
+# Case Study: Implementation of Prolog

src/intro/data-types.md

@@ -0,0 +1,9 @@
+# Data Types
+
+## User Defined Types
+
+## Methods
+
+## Records
+
+## Existential Types

src/intro/effect-handlers.md

@@ -0,0 +1 @@
+# Effect Handlers

src/intro/modules.md

@@ -0,0 +1,7 @@
+# Modules
+
+## Overview
+
+## Member Visibility
+
+## Packing Named Parameters

src/intro/named-parameters.md

@@ -0,0 +1,11 @@
+# Named Parameters
+
+## Type Parameters
+
+## Regular Named Parameters
+
+## Optional Parameters
+
+## Implicit Parameters
+
+## Sections