Paul Hoffman <phoffman@proper.com> writes:

> Has anyone put 1.4.2 or -current on the Compaq iPAQ Legacy-Free? It 
> looks like a good, small system with Ethernet, but I have been burned 
> by Compaqs in the past.
> 
> --Paul Hoffman


I have burned Compaqs in the past.

--
Stefan Kahrs in [Kah96] discusses the
   notion of completeness--programs which never go wrong can be
   type-checked--which complements Milner's notion of
   soundness--type-checked programs never go wrong [Mil78].