[clean-list] Clean-team-dreams

F.S.A.Zuurbier@inter.nl.net F.S.A.Zuurbier@inter.nl.net
Mon, 3 Sep 2001 11:15:39 +0200 (MET DST)


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?)

regards Erik Zuurbier