www

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

typed-dotlambda-phase1.rkt (88B)

      1 #lang typed/dotlambda
      2 (require (for-syntax racket/base))
      3 (begin-for-syntax
      4   λ.(+ % 1))