rewriter icon indicating copy to clipboard operation
rewriter copied to clipboard
verified publisher icon mit-plv

Flesh out demo file

Open JasonGross opened this issue 5 years ago • 0 comments

The file https://github.com/mit-plv/rewriter/blob/master/src/Rewriter/Demo.v should be fleshed out and completed. Perhaps ideally in time for the POPL submission.

JasonGross avatar Jul 07 '20 18:07 JasonGross