Repository navigation

poly

Public

About

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

Custom properties

5 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
src		src
.envrc		.envrc
.gitignore		.gitignore
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix
poly.agda-lib		poly.agda-lib
poly.png		poly.png

Repository files navigation

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

About

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

Custom properties

5 stars

1 watching

Report repository

Contributors

Languages