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

utils.scrbl: Slightly streamline the imports.

Browse Source
This commit is contained in:
Sergiu Ivanov 2020-12-12 00:46:50 +01:00
parent cdd3dd8904
commit 61f7a99c13
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
scribblings/utils.scrbl
View File

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