type-expander-implementation.scrbl (492B)
1 #lang scribble/manual 2 3 @title{Type expander: Implementation} 4 @author[@author+email["Suzanne Soy" "racket@suzanne.soy"]] 5 6 This library is implemented using literate programming. The implementation 7 details are presented in the following sections. The user documentation is in 8 the @other-doc['(lib "type-expander/scribblings/type-expander.scrbl")] document. 9 10 @(table-of-contents) 11 @include-section[(submod "../type-expander.hl.rkt" doc)] 12 @include-section[(submod "../more-expanders.hl.rkt" doc)]