typedefs

Based on polynomial functors, providing a solid foundation for type construction, as emphasized in the project's philosophy and key features.

Enables type definitions to be shared across multiple languages, reducing duplication and promoting interoperability, per the value proposition and README description.

Supports sum and product types for complex data modeling, a key feature that enhances flexibility in type design.

The online Try Typedefs interface allows instant experimentation with examples, facilitating learning and prototyping without local setup.