suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
fix-define-typed-untyped-identifier-issue-315
typed-racket/typed-racket-test/succeed/require-procedure.rkt
Vincent St-Amour 134f793ccc Reduce directory nesting for tests.
2014-12-16 10:07:25 -05:00

3 lines
83 B
Racket
Raw Permalink Blame History

#lang typed/scheme
(require/typed scheme [procedure-arity (Procedure -> Natural)])
Reference in New Issue View Git Blame Copy Permalink