cardano-foundation/fine-types

This is stars and forks stats for /cardano-foundation/fine-types repository. As of 29 Apr, 2024 this repository has 7 stars and 0 forks.

FineTypes 🚧 WORK IN PROGRESS 🚧 Overview FineTypes is an interface description language (IDL) focussing on types. You can use it to specify data types that are interoperable between different programming languages. Example: TxOut = Addr × Value × (Datum ⊎ DataHash)? × Script?; FineTypes allows you to Define data types concisely using mathematical notation. Map between data types using algebraic transformations, such as (A + B) × C = (A × C) + (B × C). Export type definitions to different programming...