Edited dependency.
Merge branch 'agda-head-compat-unlit-squash' of https://github.com/ma82/thesis into agda-head-compat-unlit-squash