This message is in MIME format. Since your mail reader does not understand this format, some or all of this message may not be legible. ------_=_NextPart_001_01C2C137.DAD6AFA0 Content-Type: text/plain Maarten de Mol wrote: Unfortunately, there is no manual for Sparkle available. In that case I will just ask: Sparkle is able to convert full Clean code to desugared Clean. The Sparkle website only excludes I/O-code. Does that mean that proofs *can* be generated and checked for functions that include ABC-code? After all ABC-code, included in "code {...}" *is* part of the official Clean syntax, right? Regards Erik Zuurbier (On the other hand, if you view ABC-code as an official part of the Clean language, Clean's claim to be 'pure' seems to be unjustified.) ------_=_NextPart_001_01C2C137.DAD6AFA0 Content-Type: text/html Content-Transfer-Encoding: quoted-printable <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">Sparkle and ABC-code Maarten de Mol wrote:
Unfortunately, there is no manual = for Sparkle available.In that case I will just ask: Sparkle = is able to convert full Clean code to desugared Clean. The Sparkle = website only excludes I/O-code. Does that mean that proofs *can* be = generated and checked for functions that include ABC-code? After all = ABC-code, included in "code {...}" *is* part of the official = Clean syntax, right?
Regards Erik Zuurbier
(On the other hand, if you view = ABC-code as an official part of the Clean language, Clean's claim to be = 'pure' seems to be unjustified.)
------_=_NextPart_001_01C2C137.DAD6AFA0--