www

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

make-lang-use-example.rkt (158B)

      1 #lang phc-graph/make-lang-example
      2 (let ()
      3   (ann 1 Number) ;; from type-expander/lang
      4   (ann (∘ add1 sub1) (-> Number Number)) ;; From phc-toolkit
      5   (void))