diff --git a/typed-map-doc/typed-map/scribblings/typed-map.scrbl b/typed-map-doc/typed-map/scribblings/typed-map.scrbl index 87cba90..ce30827 100644 --- 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"