Refactor getContextDiffNumbered with separate Nothing equation#27

ddssff merged 1 commit into

seereason:masterseereason/Diff:masterfrom

tweag:nothing-equationtweag/Diff:nothing-equationCopy head branch name to clipboard