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