... | @@ -58,6 +58,6 @@ Open questions: |
... | @@ -58,6 +58,6 @@ Open questions: |
|
- **No**: then need to keep the libraries
|
|
- **No**: then need to keep the libraries
|
|
But it's not clear that we can *always* inline *everything*. For example things with `unsafePerformIO`.
|
|
But it's not clear that we can *always* inline *everything*. For example things with `unsafePerformIO`.
|
|
|
|
|
|
- Perhaps the things we can not inline should be put in the same module?
|
|
- (Given no cycle in imports) Perhaps the things we can not inline should be put at the top level in the same module, and the old module discarded?
|
|
|
|
|
|
- Can we improve the homeomorphic embedding so that append xs xs is not embedded in append xs ys? |
|
- Can we improve the homeomorphic embedding so that append xs xs is not embedded in append xs ys? |