Skip to content

typedefs/typedefs

Error
Looks like something went wrong!

About

Programming language agnostic type construction language based on polynomials.

typedefs.com/

Topics

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

Resources

Readme

License

AGPL-3.0 license
Activity
Custom properties

Stars

368 stars

Watchers

14 watching

Forks

18 forks
Report repository

Releases 2

Idris support for Typedefs Latest
Jun 23, 2020
+ 1 release

Packages

No packages published

Contributors 11

Languages