www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

tr-te-adt.scrbl (271B)

      1 #lang scribble/manual
      2 
      3 @require["util.rkt"
      4          (for-label racket)]
      5 @(use-mathjax)
      6 
      7 @title[#:style (with-html5 manual-doc-style)
      8        #:version (version-text)]{Extensible type system and algebraic datatypes}
      9 
     10 @include-asection{te.scrbl}
     11 @include-asection{adt.scrbl}