Allow pagination for interpreted results#481

Merged

jcreedcmu merged 16 commits intogithub:mainfrom

jcreedcmu:jcreed/interpreted-pagination

Jul 6, 2020

Commits on Jul 1, 2020

Inline now-trivial function paginationEnabled
jcreedcmu
committed

Commits on Jul 2, 2020