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

Complete syntax and forms of judgment for V- #6

Closed nrnrnr closed 10 months ago

nrnrnr commented 11 months ago

Also, attempt some evaluation rules (possibly not complete).

rogerburtonpatel commented 11 months ago

Tomorrow

rogerburtonpatel commented 11 months ago

Some steps for this exist in https://github.com/rogerburtonpatel/vml/issues/10.

nrnrnr commented 10 months ago

Done at the board today for V-minus without choice.