Awesome

Plugin for coq-record-update

coq-record-update requires some boilerplate for each record, to tell the library what the fields of a record are. This plugin fixes that.

Huge thanks to Talia Ringer, who told me what arcane APIs to call while I typed them into an OCaml buffer.