Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| research:software:grev [2026/04/25 20:57] – [GrEv: Compiling Gradual Types with Evidence] jromero | research:software:grev [2026/04/25 20:57] (current) – jromero | ||
|---|---|---|---|
| Line 4: | Line 4: | ||
| This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments. | This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments. | ||
| - | ====== Artifact ====== | + | ======= Artifact |
| {{ : | {{ : | ||