www

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

lang.rkt (184B)

      1 #lang racket/base
      2 
      3 (provide (all-from-out
      4           "turnstile.rkt"
      5           macrotypes/typecheck))
      6 
      7 (require "turnstile.rkt"
      8          (only-in macrotypes/typecheck #%module-begin))
      9