Guide

Nix configurations fail late. A misspelled option name, a string where an integer belongs, a firewall rule that...

Installation Add nix-effects as a flake input: { inputs.nix-effects.url = "github:kleisli-io/nix-effects"; ...

Nix configurations are concrete at eval time. Every field, every value, every list element is known before anything...

Nine papers shaped nix-effects. Here's how each one maps to code. Algebraic effects and the freer monad A computation...

The trampoline is how nix-effects interprets freer monad computations with O(1) stack depth in a language with no...

nix-effects grounds all types in a small, trusted type-checking kernel — a Lean-light MLTT core running entirely at nix...

This chapter describes the type-checking kernel: its pipeline, its primitives, and how to write verified...

This document is the contract the implementation must satisfy. Every typing rule, compute rule, and conversion rule is...