#

type-definitions

Here is 1 public repository matching this topic...

typedefs / typedefs

Programming language agnostic type construction language based on polynomials.

serialization types marshalling type-theory category-theory serialization-library f-algebras type-definitions

Updated May 29, 2024
Idris

Improve this page

Add a description, image, and links to the type-definitions topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-definitions topic, visit your repo's landing page and select "manage topics."