te.scrbl (272B)
1 #lang scribble/manual 2 3 @require["util.rkt" 4 (for-label (only-meta-in 0 typed/racket))] 5 @(use-mathjax) 6 7 @title[#:style (with-html5 manual-doc-style) 8 #:version (version-text) 9 #:tag "type-expander-chap"]{Extensible type systems via type-level 10 macros} 11