You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#lang typed/racket/base
|
|
(require (for-syntax typed/racket/base typed/sugar/string typed/sugar/coerce racket/syntax))
|
|
(require typed/sugar/define typed/sugar/list typed/txexpr)
|