= fix (\ ones . 1 : ones)

	     = (\ ones . 1 : ones) (fix (\ ones . 1 : ones))
	     = 1 : (fix (\ ones . 1 : ones))
	     = 1 : 1 : ...

Fix f is also sometimes written as mu f where mu is the Greek letter or alternatively, if f = \ x . E, written as mu x . E.

Compare quine.

[Jargon File]

Last updated: 1995-04-13

2. bug fix.

Last updated: 1998-06-25

Nearby terms:

unction defined by = fix (\ ones . 1 : ones)nitely many (e.g. f x

Try this search on Wikipedia, OneLook, Google


Loading