## = 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.

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

Tweet