Feb 27: Translation, P+ writing

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

Feb 27: Translation, P+ writing #35

Closed rogerburtonpatel closed 4 months ago

rogerburtonpatel commented 4 months ago

Today, I'll complete the P+ -> V- translation with a P[[]] that takes a pattern and an expression as we discussed. I'll also fill in the P+ chapter with prose. Finally, if I have time today, I'll fill in V- as well.

rogerburtonpatel commented 4 months ago

Finished translation. Prosing. Let's review tomorrow during our meeting.