diff --git a/turnstile/scribblings/turnstile.scrbl b/turnstile/scribblings/turnstile.scrbl index 5acaa68..e913aae 100644 --- a/turnstile/scribblings/turnstile.scrbl +++ b/turnstile/scribblings/turnstile.scrbl @@ -6,6 +6,11 @@ @defmodule[turnstile #:lang #:use-sources (turnstile/turnstile)] +@(author + (author+email "Alex Knauth" "alexander@knauth.org" #:obfuscate? #t) + (author+email "Ben Greenman" "types@ccs.neu.edu" #:obfuscate? #t) + (author+email "Stephen Chang" "stchang@racket-lang.org" #:obfuscate? #t)) + @section{Introduction} Turnstile aims to help Racket programmers create typed languages. It does so @@ -30,4 +35,4 @@ programmers are accustomed to. #:title "Local Type Inference" #:location "POPL" #:date "1998") - ) \ No newline at end of file + )