Rare find

polytt. A type theory with native support for Polynomial Functors.

github.com/ToposInstitute/polytt

@ToposInstitute

Problem

Audience

Updates

No founder updates yet. Check back soon.