From d89358fbf3f89d65cc1b0d0b632f53dbee95576c Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 24 May 2015 12:16:19 -0700 Subject: [PATCH] doc update --- txexpr/scribblings/txexpr.scrbl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/txexpr/scribblings/txexpr.scrbl b/txexpr/scribblings/txexpr.scrbl index f032324..13a3fb7 100644 --- a/txexpr/scribblings/txexpr.scrbl +++ b/txexpr/scribblings/txexpr.scrbl @@ -14,6 +14,9 @@ A set of small but handy functions for improving the readability and reliability of programs that operate on tagged X-expressions (for short, @italic{txexpr}s). +I thank Alexis King for helpful suggestions on the typed version. + + @section{Installation} At the command line: @@ -32,6 +35,8 @@ Safe mode enables the function contracts documented below. Use safe mode by impo The typed version is invoked as @code{(require typed/txexpr)}. The typed version is implemented ``natively'' in the sense that it is compiled separately with type annotations. It is not a @racket[require/typed] wrapper around the untyped code. This avoids the contract barrier that is otherwise automatically imposed between typed and untyped code. +@margin-note{I explain more about this cross-compiling technique in @link["http://unitscale.com/mb/technique/dual-typed-untyped-library.html"]{Making a dual typed / untyped Racket library}.} + @section{What’s a txexpr?}