Records. Dependently Typed Extensible Records with Prototypal Inheritance

github.com/jmars/Records
by @jmars

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.