Article View: comp.theory
Article #2096Re: "occur check"
From: David Kinny
Date: Thu, 22 Feb 1990 10:02
Date: Thu, 22 Feb 1990 10:02
4 lines
588 bytes
588 bytes
Jean-Louis Lassez used to pronounce this as "ocker check". It took me half a lecture to realise that this wasn't just another Gallic joke aimed at his Australian audience.
Technical Details
Message-ID:
<3225@munnari.oz.au>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!sendai!dnkReferences:
<2901@goanna.oz.au>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!sendai!dnk From: dnk@sendai.cs.mu.OZ.AU (David Kinny) Newsgroups: comp.theory Subject: Re: "occur check" Summary: Definitely not the origin of "occur check" Keywords: unification, terminology Message-ID: <3225@munnari.oz.au> Date: 22 Feb 90 10:02:38 GMT References: <2901@goanna.oz.au> Sender: news@cs.mu.oz.au Lines: 4