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

utils.scrbl: Simplify require for-label.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-12-21 21:29:26 +01:00
parent c92db58962
commit a6a350ab1a
1 changed files with 1 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scribblings/utils.scrbl
View file

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