We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1b462f0
This is the artifact for the paper "Inferring Type Rules for Syntactic Sugar" by Justin Pombrio and Shriram Krishnamurthi.
(Slightly updated after AEC reviews.)
