diff --git a/scribblings/functions.scrbl b/scribblings/functions.scrbl
index 7ff529c..b77a62d 100644
--- a/scribblings/functions.scrbl
+++ b/scribblings/functions.scrbl
@@ -1,5 +1,6 @@
 #lang scribble/manual
-@(require (for-label racket "../functions.rkt" "../utils.rkt"))
+@(require scribble/example racket/sandbox
+	  (for-label typed/racket/base "../functions.rkt"))
 
 @title[#:tag "functions"]{dds/functions: Formal Functions}
 
@@ -10,6 +11,12 @@ This modules provides some definitions for working with functions: tabulating,
 Some definitions of particular kinds of functions are also provided (threshold
 Boolean functions, etc.).
 
+@(define functions-evaluator
+  (parameterize ([sandbox-output 'string]
+  		 [sandbox-error-output 'string]
+		 [sandbox-memory-limit 50])
+   (make-evaluator 'typed/racket #:requires '((submod "functions.rkt" typed)))))
+
 @section{Tabulating functions}
 
 @section{Constructing functions}