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

Finish proof of sem. pres: V- -> D #46

Open rogerburtonpatel opened 5 months ago

rogerburtonpatel commented 5 months ago

44 is the prerequisite. Also need to rewrite some of the D forms and semantics for this.