[clean-list] Clean-team-dreams

[Peter Achten]

At 11:15 3-9-01 +0200, Erik Zuurbier wrote:
>Peter Achten wrote:
>==========
>p.s.: These are not the Clean-team-dreams
>==========
>Peter,
>
>Can you elaborate on what the Clean-team-dreams are? That is, once the 
>known projects on dynamics, generic programming and the proof-system have 
>been completed? (Or have I missed any 'known projects?)

I can't elaborate on Clean-team-dreams. I wanted to avoid this confusion 
and mention this particular sub-project...

Peter