www

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

main.rkt (256B)


      1 #lang racket/base
      2 
      3 (require racket/require
      4          (subtract-in typed/racket type-expander)
      5          type-expander)
      6 
      7 (provide (all-from-out typed/racket
      8                        type-expander))
      9 
     10 (module reader syntax/module-reader
     11   type-expander/lang/main)