source: etc/campbell/dev-notes/2012-05-24-memory-coalese.txt

Last change on this file was 2394, checked in by campbell, 7 years ago

I've kept the odd note on bits of CerCo? work I've been doing. James suggested
that it might be useful if these were recorded in the repository just in case
they contain some useful information that doesn't get recorded elsewhere.

File size: 187 bytes
1Want to:
2 1 remove abstraction of the contents of memory
3 2 shift definitions relevant to both memory models to so that the
4   front-end doesn't pull in other stuff in
Note: See TracBrowser for help on using the repository browser.