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

utils.scrbl: Import -> from typed/racket/base.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-01-26 16:35:03 +01:00
parent 44de84de10
commit 73afefdeb2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scribblings/utils.scrbl
View file

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