From bd3bc0a7e0df6eff6fdeec944bd947b16a67f5ad Mon Sep 17 00:00:00 2001 From: Piotr Polesiuk Date: Thu, 3 Apr 2025 13:06:53 +0200 Subject: [PATCH] Structure of chapters in the Introduction --- src/SUMMARY.md | 5 +++++ src/intro/case-study-prolog.md | 1 + src/intro/data-types.md | 9 +++++++++ src/intro/effect-handlers.md | 1 + src/intro/modules.md | 7 +++++++ src/intro/named-parameters.md | 11 +++++++++++ 6 files changed, 34 insertions(+) create mode 100644 src/intro/case-study-prolog.md create mode 100644 src/intro/data-types.md create mode 100644 src/intro/effect-handlers.md create mode 100644 src/intro/modules.md create mode 100644 src/intro/named-parameters.md 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