https://github.com/mit-plv/rewriter
Tip revision: 77c76a43689ce532921ccfa200b44083bc52dc21 authored by Andres Erbsen on 15 February 2023, 04:05:22 UTC
adapt for coq/coq#17022 (#96)
adapt for coq/coq#17022 (#96)
Tip revision: 77c76a4
AUTHORS
# This is the official list of rewriter authors for copyright purposes.
# This file is distinct from the CONTRIBUTORS files.
# See the latter for an explanation.
# Names should be added to this file as one of
# Organization's name
# Individual's name <submission email address>
# Individual's name <submission email address> <email2> <emailN>
# See CONTRIBUTORS for the meaning of multiple email addresses.
# Please keep the list sorted.
Google Inc.
Massachusetts Institute of Technology