home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.scheme
- Path: sparky!uunet!utcsri!torn!newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz
- From: oz@ursa.sis.yorku.ca (Ozan Yigit)
- Subject: Y [Re: Summary on Church numeral]
- In-Reply-To: blume@news@informatik.hu-berlin.de's message of Wed, 12 Aug 1992 10: 57:31 GMT
- Message-ID: <OZ.92Aug12130354@ursa.sis.yorku.ca>
- Sender: news@newshub.ccs.yorku.ca (USENET News System)
- Organization: York U. Student Information Systems Project
- References: <cyen.713594637@ponder> <AJZ5DY@hp832.informatik.hu-berlin.de>
- Date: Wed, 12 Aug 1992 18:03:54 GMT
- Lines: 27
-
- Matthias Blume writes:
-
- [long note on church numerals elided]
-
- [5. and 6. make use of a trick: here we apply hh to itself to obtain
- recursion without the need of syntactic recursion (this is what the magic
- Y does)]
-
- Talking about the magic of Y, I just added another note into
- txt subdir of the Scheme Repository: "(Y Y) Works! A Lecture
- on the Why of Y" by Matthias Felleisen. This note is written
- in the style of the Little Lisper. Look for Y.{dvi,ps}.Z.
-
- enjoy... oz
- ---
- 1: Scheme Repository: ~ftp/ pub/scheme under nexus.yorku.ca.
- 2: as an internetworking courtesy, *please* try to avoid ftp
- transfers during peak working hours, i.e. 9am to 5pm EST.
- ---
- Information is in the mind of | electric: oz@sis.yorku.ca
- the beholder. - R. Jackendoff | ph: [416] 736 2100 x 33976
-
-
-
-
-
-
-