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

Translate P-plus to V-minus #22

Closed nrnrnr closed 2 months ago

rogerburtonpatel commented 4 months ago

This has been done in code. Now, it needs to be done in theory.

rogerburtonpatel commented 2 months ago

Closing as fully completed.