Documentation

Start with a runnable lesson, or look up a language rule or library function. The install guide explains how to get the compiler and Reef packages.

The Chelis book

The language, its command line and its type system.

• Install
• First program
• CLI workflow
• Compiler access for agents
• Type system reference
• Effects and handlers
• grad and vmap
• Building programs
• Standard library

coral

Typed dataframes.

• First dataframe
• Group-by
• Joins
• Rolling windows

nautilus

Numerical methods, statistics and optimization.

• First program
• Distributions
• Integration
• Black-Scholes

More shells

• hello-chelisworked lessons, exercises, and larger source examples
• shoalsquantitative finance
• economoisteconomic models with properties checked by an SMT solver

For agents

• SKILL.mdthe skill that tells a coding agent how to write, check and fix Chelis
• llms.txtthe pages an agent should read first
• Compiler workflowJSON diagnostics and MCP connection requirements