Clarify, rename, and FAQ memory allocation#288

Merged

lukewagner merged 5 commits intomasterfrom

refine-memory-allocation

Aug 13, 2015

Commits on Aug 12, 2015

Clarify, rename, and FAQ memory allocation
Luke Wagner
committed
Address first round of comments
Luke Wagner
committed
Tweak FAQ wording
Luke Wagner
committed
Rephrase page_size as nullary operator, not global
Luke Wagner
committed

Commits on Aug 13, 2015

Remove the useful anecdotes
Luke Wagner
committed