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
Line 
1Want to:
2 1 remove abstraction of the contents of memory
3 2 shift definitions relevant to both memory models to GenMem.ma so that the
4   front-end doesn't pull in other stuff in BEMem.ma
Note: See TracBrowser for help on using the repository browser.