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