1 Bootstrap
1.3 Repr
1.3.5 Expanded
FPL
Playground
Katas
JupyterLite
Marimo
1 Bootstrap
1.1 Boundary
1.1.1 Source
1.1.2 FON
1.1.3 Pipe
1.1.4 Render
1.2 Pass
1.2.1 Lex
1.2.2 Parse
1.2.3 Resolve
1.2.4 Expand
1.2.5 Desugar
1.2.6 Elaborate
1.2.7 Lower
1.2.8 Normalize
1.2.9 Optimize
1.2.10 Evaluate
1.2.11 Codegen
1.3 Repr
1.3.1 Source
1.3.2 Tokens
1.3.3 Syntax
1.3.4 Resolved
1.3.5 Expanded
1.3.6 Elaborated
1.3.7 Core
1.4 Compose
1.4.1 Pass
1.4.2 Run
1.4.3 Inspect
1.4.4 Build
1.5 Labs
1.5.1 Pipeline
1.6 Nagini
1.6.1 Advance
2 Docs
2.1 Tutorial
Walkthrough: first frames
2.2 How-to
2.3 Reference
Errors and diagnostics
Spec
2.4 Explanation
Design
Inspiration
Playgrounds and live programming
Turnstile notation
Evaluation judgments
2.5 Project
Roadmap
Project notes
Issue, task, patch
Plumbing, not prophecy
The project that mediates the language
Obsidian, OKF, COB bridge
REPL phrase costs
ADRs
3 FPL
3.1 Features
draft1 — spec
draft2 — spec
draft3 — spec
match — spec
server — spec
sketch — spec
1 Bootstrap
1.3 Repr
1.3.5 Expanded
01.03.05 Expanded
Sugar is gone. The term is still surface.
Sugar is gone. The term is still surface.
1.3.4 Resolved
1.3.6 Elaborated