Puzzle

Ralf Hinze ralf@informatik.uni-bonn.de
Tue, 26 Aug 2003 21:49:53 +0200


Am Dienstag, 26. August 2003 05:54 schrieb Matt Harden:
> Cool!  That leads me to this contraption:
> > tricky                        = 0 : enigma tricky tricky
> > enigma (k : ks)               = (k :) . labyrinth (enigma ks)
> > labyrinth f (k : _ : ks)      = (k + 1) : f ks
>
> Figure out what `tricky' is, and what its relationship is to `unknown'.

Well, `tricky' can be defined much simpler:

> tricky =  [0 ..] \/ tricky

where `\/' denotes ... (I leave this to the imagination of the reader).

Cheers, Ralf