Cut out verse forms until we're there

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

Cut out verse forms until we're there #12

Closed rogerburtonpatel closed 8 months ago

rogerburtonpatel commented 8 months ago

How generous can we be with logical variables?

How can we manipulate hnf to get rid of logical variables on the heap?