A type-safe, high-level SQL library for PureScript
Ordo: A minimalist language with row polymorphism
ftor enables ML-like type-directed, functional programming with Javascri...
My Attempt at System Fω with Row-Polymorphism