README.md

Polynomial Functors in Agda

Experiments in Poly based on Nelson Niu and David Spivak's Polynomial Functors book.

Structure

• src/Poly.agda: The actual implementation of Poly.
• src/Poly: Structures built using Poly