Question about the use of an inner forall
Scott J.
jscott@planetinternet.be
Mon, 19 Aug 2002 23:18:34 +0200
This is a multi-part message in MIME format.
------=_NextPart_000_008E_01C247D6.BD610220
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Hi,
I am going to stop this discussion . What counts for me at this moment =
is that I know how it works.=20
I thank everybody who replied to my email.
As for the discussion about Curry Howard isomorphism and more about type =
theory, I shall gladly discuss these things further but than in private =
email.
Hey, I hope really that I know how it works but this seems to be =
confirmed in these emails.
I left Ocamel for Haskell for it's more functional approach.=20
I think documentation about the features extending Haskell 98 is very =
needed=20
for those who want only to program with the language Haskell.=20
Thx for all replies
Scott
------=_NextPart_000_008E_01C247D6.BD610220
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2716.2200" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Hi,</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2>I am going to stop this discussion . =
What counts=20
for me at this moment is that I know how it works. </FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2>I thank everybody who replied to my=20
email.</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2>As for the discussion about Curry =
Howard=20
isomorphism and more about type theory, I shall gladly discuss these =
things=20
further but than in private email.</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2>Hey, I hope really that I know how it =
works but=20
this seems to be confirmed in these emails.</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2>I left Ocamel for Haskell for it's more =
functional=20
approach. </FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2>I think documentation about the =
features extending=20
Haskell 98 is very needed </FONT></DIV>
<DIV><FONT face=3DArial size=3D2>for those who want only to program with =
the=20
language Haskell. </FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2>Thx for all replies</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2>Scott</FONT></DIV></BODY></HTML>
------=_NextPart_000_008E_01C247D6.BD610220--