scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

utils.scrbl: Import the whole of typed/racket/base for-label.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-01-27 21:10:59 +01:00
parent 746c586973
commit ebd960de53
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scribblings/utils.scrbl
View file

@ -1,9 +1,6 @@
#lang scribble/manual
@(require scribble/example racket/sandbox
(for-label racket/base graph (submod "../utils.rkt" typed)
(only-in typed/racket/base
Any AnyValues Listof Symbol String Number Sexp cast
Pair List ->)))
(for-label typed/racket/base graph (submod "../utils.rkt" typed)))
@title[#:tag "utils"]{dds/utils: Various Utilities}