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 out syntactic forms that don't sufficiently restrict Verse #15

Open rogerburtonpatel opened 8 months ago

nrnrnr commented 7 months ago

I no longer have any idea what this is. Postpone or just close?

rogerburtonpatel commented 7 months ago

This was "we found the way to restrict V- so there are no Logical Variables at runtime; let's write down what DIDN'T work."

I did this, privately. I'll publish if we care and I remember to this week.