commit a3c17619b95d6226c83fbcfe9dc5a606124608ac parent f557b5b36a3f0de085bf3364e6824bff565dc3fd Author: Georges Dupéron <georges.duperon@gmail.com> Date: Thu, 20 Apr 2017 18:30:38 +0200 Documentation title Diffstat:
| M | typed-map-doc/typed-map/scribblings/typed-map.scrbl | | | 6 | +++--- |
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/typed-map-doc/typed-map/scribblings/typed-map.scrbl b/typed-map-doc/typed-map/scribblings/typed-map.scrbl @@ -2,9 +2,6 @@ @require[scribble/example @for-label[typed-map]] -@title{typed-map} -@author[@author+email["Georges Dupéron" "georges.duperon@gmail.com"]] - @(module orig racket/base (require scribble/manual (for-label racket/base)) @@ -14,6 +11,9 @@ (define orig:foldr @racket[foldr])) @(require 'orig) +@title{Type inference helper for @orig:map} +@author[@author+email["Georges Dupéron" "georges.duperon@gmail.com"]] + @defmodule[typed-map] @defproc[#:kind "syntax"