well-typed / large-records

Library to support efficient compilation of large records (linear in the number of record fields)
44Updated last month

Related projects

Alternatives and complementary repositories for large-records