# nLab Eff

This page is about the programming language. $Eff$ is also a commonly used name for the effective topos.

# Contents

## Idea

Eff is a functional programming language based on algebraic effects and their handlers.

## References

Last revised on October 10, 2016 at 16:50:45. See the history of this page for a list of all contributions to it.