search

rogerburtonpatel / vml

Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.
5 stars 0 forks source link

Review the soundness theorem for V-minus after re-writing the judgement forms #26

Open nrnrnr opened 6 months ago

rogerburtonpatel commented 6 months ago

This will likely reference the formal Verse rules. In fact, I'm not entirely sure how this differs from #20 .

nrnrnr commented 6 months ago

This issue looks the same as #20.

rogerburtonpatel commented 6 months ago

In that case, since #20 has been completed for a while, I've updated this name to incentivize new work. This now has #24 as a prerequisite.