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

Collect motivating examples of V- > P+ #27

Open rogerburtonpatel opened 6 months ago

rogerburtonpatel commented 6 months ago

From self and others.