Skip to content

Commit 160d473

Browse files
milessabinmilessabin
committed
Updated termination proof, non-lazy desugaring, incorporated feedback on covering-set criterion from Martin.
1 parent f032dce commit 160d473

File tree

1 file changed

+106
-90
lines changed

1 file changed

+106
-90
lines changed

0 commit comments

Comments
 (0)