Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Overview

This opening section explains what FOL is, how this book is organized, and how syntax examples are written.

Use it before diving into the detailed lexical, type, item, and runtime chapters.

It also describes the user-facing workflow tool and the first editor-tooling surface before the language chapters begin.