Applications
Complete example programs that double as benchmark workloads.
Application examples are full modules rather than isolated snippets. They expose ordinary Nix APIs, include prose walkthroughs, and provide workload generators consumed by the benchmark suite.
The source for this section lives under examples/.
Walkthroughs
- Category Theory: Kernel-checked arithmetic, algebra, functors, and Yoneda-style constructions.
- Expression Interpreter: A small expression language interpreted with lookup, scoped environment, and failure effects.
- Build Simulator: A dependency-graph evaluator with cache, configuration, logging, and failure effects.
Category Theory
Kernel-checked arithmetic, algebra, functors, and Yoneda-style constructions.
Expression Interpreter
A small expression language interpreted with lookup, scoped environment, and failure effects.
Build Simulator
A dependency-graph evaluator with cache, configuration, logging, and failure effects.