Re: logic-functional

Article View: comp.lang.functional

Article #609

Back to comp.lang.functional Previous Next

#609

From: Francisco KU
Date: Thu, 01 Oct 1992 00:09

11 lines
867 bytes

opalla@owl.informatik.uni-dortmund.de (Rudolf Opalla) writes:

>I don't know if this is the correct group, but if anyone is interested - I
>have posted the logic-functional language-system ALF to ftp.germany.eu.net
>(simpson.germany.eu.net).
[Deleted...]

	You forgot to set the read permission for the world!!!

----------------
fpk@cs.mu.oz.au

Technical Details

Message-ID: <9227510.7540@mulga.cs.mu.OZ.AU>

Path:

arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!swrinde!zaphod.mps.ohio-state.edu!darwin.sura.net!sgiblab!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!fpk

References: <1acb0sINN19c@fbi-news.Informatik.Uni-Dortmund.DE>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.functional
Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!swrinde!zaphod.mps.ohio-state.edu!darwin.sura.net!sgiblab!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!fpk
From: fpk@munta.cs.mu.OZ.AU (Francisco KU)
Subject: Re: logic-functional
Message-ID: <9227510.7540@mulga.cs.mu.OZ.AU>
Sender: news@cs.mu.OZ.AU
Organization: Computer Science, University of Melbourne, Australia
References: <1acb0sINN19c@fbi-news.Informatik.Uni-Dortmund.DE>
Date: Thu, 1 Oct 1992 00:09:08 GMT
Lines: 11

Reply to Parent Message