Path: utzoo!attcan!uunet!mcsun!ukc!edcastle!lfcs!nick
From: nick@lfcs.ed.ac.uk (Nick Rothwell)
Newsgroups: comp.lang.functional
Subject: Re: Here is a PC implementation:  REFAL
Message-ID: <4205@castle.ed.ac.uk>
Date: 25 May 90 10:13:19 GMT
References: <23320@uflorida.cis.ufl.EDU>
Reply-To: nick@lfcs.ed.ac.uk (Nick Rothwell)
Organization: Jenny Agutter Appreciation Society of Edinburgh
Lines: 20
In-reply-to: kcw@beach.cis.ufl.edu (Ken Whedbee)

In article <23320@uflorida.cis.ufl.EDU>, kcw@beach (Ken Whedbee) writes:
>The same program written in REFAL:
>
>     Isect { ()(e1) = ;
>             (s1 e2)(e3 s1 e4) = s1<Isect (e2)(e3 e4)> ;
>             (s1 e2)(e3) = <Isect (e2)(e3)> }
>
>REFAL is extremely simple.  You can probably read the above definition
>without having ever heard about REFAL.

I can read it, but I don't understand it.

>Ken Whedbee

		Nick.
--
Nick Rothwell,	Laboratory for Foundations of Computer Science, Edinburgh.
		nick@lfcs.ed.ac.uk    <Atlantic Ocean>!mcsun!ukc!lfcs!nick
~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~
		   Ich weiss jetzt was kein Engel weiss