nick@lfcs.ed.ac.uk (Nick Rothwell) (05/25/90)
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