Found some unrecorded changes months later
Merge branch 'master' of github.com:andreasabel/continuous-normalization

Also swapped argument order of Delay in LocallyNameless/Eval.agda

Conflicts:
	src/Delay.agda
	src/LocallyNameless/Eval.agda