Commit 7c07698

committed

Updated termination proof, non-lazy desugaring, incorporated feedback on covering-set criterion from Martin.

1 parent d76a889 commit 7c07698Copy full SHA for 7c07698

1 file changed

+106

-90

lines changed

+106

-90

lines changed

Comments

(0)