"typed-scheme" -> "typed-racket".
This commit is contained in:
parent
b77a841dd8
commit
746aea0024
|
@ -1,4 +1,4 @@
|
|||
#lang typed-scheme
|
||||
#lang typed/racket/base
|
||||
(require/opaque-type Char-Set char-set? srfi/14)
|
||||
|
||||
(define-type-alias Cursor (Pair 0 (Listof (Pair Integer Integer))))
|
||||
|
|
Loading…
Reference in New Issue
Block a user