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

Write a first draft #30

Closed rogerburtonpatel closed 5 months ago

rogerburtonpatel commented 9 months ago

This will help us/me answer "What are we doing." The holes will guide the way.

rogerburtonpatel commented 5 months ago

Closing as long outdated and completed.