[racket] Checking infinite loops

From: Eli Barzilay (eli at barzilay.org)
Date: Sun Oct 3 18:43:10 EDT 2010

Two minutes ago, Robby Findler wrote:
> How does it do on this program:
>   (begin (sleep 5) 'done)
> ?

Yeah, it has some false positives.  I need to update it with the
recent halting problem solution code.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the users mailing list.