well-typed / large-records

Library to support efficient compilation of large records (linear in the number of record fields)
44Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for large-records