There are 1 repository under row-polymorphism topic.
A type-safe, high-level SQL library for PureScript
My Attempt at System Fω with Row-Polymorphism
type-system, revised unification algorithm and runtime time representations
A programming language with first-class modules and algebraic effects.
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Row + Implicit arguments + MLF.