Table of Contents

Getting Started

• Effectful
• Introducing Effectful
• Named Tensor Notation

Examples

• MiniPyro
• Lambda Calculus
• Semi-ring Dictionaries

Documentation

• Effectful
  • Operations
  • Handlers
  • Internals

Indices and Tables

• Index

• Module Index

• Search Page