1 Bootstrap
1.3 Repr
1.3.4 Resolved
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.4 Resolved
01.03.04 Resolved
Binders are identities.
Binders are identities.
1.3.3 Syntax
1.3.5 Expanded