GitHub topics: row-types

Proofs for Extensible Data Types with Ad-Hoc Polymorphism

Language: Lean - Size: 1.48 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 6 - Forks: 0

Purescript Example: How to map a binary function generically over (nested) records

Language: Nix - Size: 12.7 KB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Some extra kit for row types

Language: Dhall - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

A library for applying a row of rules for validation to refine a value

Language: PureScript - Size: 10.7 KB - Last synced at: 18 days ago - Pushed at: over 7 years ago - Stars: 12 - Forks: 2

Related Keywords

ecosyste.ms