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

Import stream->list and stream-take for-label.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-03-05 00:24:02 +01:00
parent 83b293e3e4
commit 77cc8e295a
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
scribblings/utils.scrbl
View file

@ -3,7 +3,8 @@
(for-label typed/racket/base graph
(submod "../utils.rkt" typed)
(only-in typed/graph Graph)
(only-in racket/set set)))
(only-in racket/set set)
(only-in racket/stream stream->list stream-take)))
@title[#:tag "utils"]{dds/utils: Various Utilities}