15 lines
287 B
Racket
15 lines
287 B
Racket
#lang hyper-literate #:no-auto-require(dotlambda/unhygienic . typed/racket/base)
|
|
|
|
@(require (for-label typed/racket/base))
|
|
|
|
@section{Conclusion}
|
|
|
|
@chunk[<*>
|
|
(provide
|
|
;; description
|
|
#;id)
|
|
|
|
(require (for-syntax racket/base))
|
|
|
|
#;(define id …)]
|