Embed62.agda:410: main theorem as stated in slides for Hessen Workshop (fix #68)
Embed62.agda:410: main theorem as stated in slides for Hessen Workshop
(fix #68)

Old-commit-hash: 7254a11f4c494091307a31436b4d31d567d52b12

inc-lc/ilc-agda