Main paper (version 2021-02-09)

paper-2021-02-09-cbd7f644

Some comments from Richard

Main paper (version 2021-02-09)

paper-2021-02-09-c88254a6

Fix build

Main paper (version 2021-01-25)

paper-2021-01-25-d37db725

No need for Fira Code in CI

Main paper (version 2021-01-25)

paper-2021-01-25-98f0ce8d

Check if I need stix-fonts still

Main paper (version 2021-01-24)

paper-2021-01-24-c0da332b

Update anchors

Main paper (version 2021-01-24)

paper-2021-01-24-b12edfcf

Add RTEquiv to .ott

Main paper (version 2021-01-17)

paper-2021-01-17-d856ddf1

Add a paragraph on the helpfulness of well-scoped representation

Main paper (version 2021-01-15)

paper-2021-01-15-6dedc5d8

I'll probably need Fira Code on CI

Main paper (version 2021-01-02)

paper-2021-01-02-ea39f5b2

Minor wording fixes

Main paper (version 2020-12-27)

paper-2020-12-27-1862ae3a

Finalize all things narrowing in the paper