Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-01-20 | reftable: add print functions to the record types | 1 | -1/+20 | |
2022-01-20 | reftable: make reftable_record a tagged union | 1 | -77/+80 | |
2022-01-20 | reftable: implement record equality generically | 1 | -20/+3 | |
2021-10-08 | reftable: (de)serialization for the polymorphic record type. | 1 | -0/+412 |