Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!security!genrad!mit-eddie!mit-vax!eagle!mhuxi!houxm!ihnp4!inuxc!pur-ee!uiucdcs!uokvax!andree
From: andree@uokvax.UUCP
Newsgroups: net.lang.c
Subject: Re: Re: Structure Comparison (ADA vs C v - (nf)
Message-ID: <3404@uiucdcs.UUCP>
Date: Sun, 23-Oct-83 23:17:08 EDT
Article-I.D.: uiucdcs.3404
Posted: Sun Oct 23 23:17:08 1983
Date-Received: Tue, 25-Oct-83 04:03:24 EDT
Lines: 13

#R:utcsrgv:-248800:uokvax:3000003:000:492
uokvax!andree    Oct 20 18:31:00 1983

I've got copies of Holt's papers on Euclid (not here - I think it's a users
manual & something similar), but not the new book (eventually...).

I agree with Dave Mason - Euclid looks considerably nicer than C. The solution
to the standard problems with pointers and sets are quite nice, and the
features that make it possible to write provable code aren't to shabby, either.
So: Can I get Tunis for my VAX? Supported? Or do I stick with running someones
supported version of 4.2 bsd?

	<mike