Nix Setup

This section covers setting up and understanding the Nix runtime environment for SIMPLE.

• Installation
  • Supported Host Shape
  • Install Steps
  • Preferred Usage: Import The Library
  • Build The Docs
  • Optional Resource Downloads
  • Optional Bootstrap Entry Points
• Nix Runtime
  • Goal
  • Why The Setup Exists
  • Supported Host Model
  • Runtime Layout
  • Runtime Invariants
  • Entry Points
  • Failure Model
  • Why We Still Cannot Be Perfectly Host-Independent
  • Maintenance Rule