[pypy-dev] after discussion with Armin about RPython

[Laura Creighton]

which cleared up some misconceptions I had,  I got to wonder.

We started out deciding to define RPython.  That bogged down. So we
decided to make it be 'the minimal set of Python that we need for things
to work' defined as 'what we have when we are done writing the translation layer'.
This _is_ the pragmatic approach.  But I now wonder if we might benefit from
trying to define it more formally again.  It might give us  (me at any rate)
a better idea of exactly what obvious direct C equivalents we need.
But perhaps the rest of you can already see this without any formal definition ....

Just a thought,
Laura