www

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

lang-test-3.rkt (135B)

      1 #lang type-expander/lang
      2 (require typed/rackunit)
      3 (check-equal? (ann (add1 1)
      4                    (Let ([T Number]) T))
      5               2)