Skip to content

Commit 3aab66c

Browse files
SethTisueSethTisue
authored
Merge pull request #1052 from milessabin/topic/simplified-algorithm
Updated termination proof, non-lazy desugaring, incorporated feedback on covering-set criterion from Martin
2 parents f032dce + 5d510d6 commit 3aab66c

File tree

1 file changed

+113
-105
lines changed

1 file changed

+113
-105
lines changed

0 commit comments

Comments
 (0)