| ... | ... | @@ -26,3 +26,7 @@ Thus it might be useful to trim the Prelude down to the bare minimum possible. |
|
|
|
At the moment this is an idea for a proposal, rather than a proposal. It needs to be made concrete before we can act on it.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
On the other hand, any firm proposal in this area would cost a significant amount of work. Some indication of general positivity or negativity towards the idea would help us know whether it is worth expending effort on devising some definite proposals.
|
|
|
|
|
|
|
|
|
