jmars / Records

Dependently Typed Extensible Records with Prototypal Inheritance
9Updated 9 years ago

Related projects

Alternatives and complementary repositories for Records