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:56] – [Artifact] jromero | research:software:grev [2026/04/25 20:57] (current) – jromero | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== GrEv: Compiling Gradual Types with Evidence ====== | ====== GrEv: Compiling Gradual Types with Evidence ====== | ||
| + | |||
| 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 |
| {{ : | {{ : | ||