diff options
Diffstat (limited to 'typed-sequence.rkt')
-rw-r--r-- | typed-sequence.rkt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/typed-sequence.rkt b/typed-sequence.rkt new file mode 100644 index 0000000..448410d --- /dev/null +++ b/typed-sequence.rkt @@ -0,0 +1,7 @@ +#lang racket + +(provide sequence->sequence) + +;; Sequence -> (Sequenceof Any) +(define (sequence->sequence x) + x) |