deeglaze · September 12, 2012 16:33
diff --git a/gistfile1.txt b/gistfile1.txt
 #lang racket

 (define (f x) (cond [#f ;; or some other arbitrary computation that gives #f
                     (g x)]
                    [else x]))

 (f 0)

 (define (g x) x)

 ;; It is undecidable if there is an unbound identifier.
	#lang racket

	(define (f x) (cond [#f ;; or some other arbitrary computation that gives #f
	(g x)]
	[else x]))

	(f 0)

	(define (g x) x)

	;; It is undecidable if there is an unbound identifier.