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 MC #44

Closed rogerburtonpatel closed 1 month ago

rogerburtonpatel commented 2 months ago

37, #36, #25 are prerequisites. They will close with this one.

rogerburtonpatel commented 1 month ago

Code is done. Theory is being updated.