Skip to content

Commit 65a4c18

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 d76a889 + 3f87ba2 commit 65a4c18

File tree

1 file changed

+113
-105
lines changed

1 file changed

+113
-105
lines changed

0 commit comments

Comments
 (0)