Language Guide

This guide covers the core concepts and features of the Keel programming language.

In This Section

• Basics - Core language concepts
• Indentation and Scope - How indentation controls code structure
• Variables and expressions
• Functions and types
• Pattern matching
• File Inlining - Composing programs from multiple files
• Data Contracts - Compile-time validation of DataFrame column values
• And more...