add a form of decision tree for match failure

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

add a form of decision tree for match failure #36

Closed nrnrnr closed 2 months ago

nrnrnr commented 4 months ago

and remove Impossible.impossible from compile function

rogerburtonpatel commented 2 months ago

Closing as prereq.