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

untyped → utils/untyped

Browse source 
Otherwise there will be conflicts with other modules.
This commit is contained in:
Sergiu Ivanov 2022-04-07 00:40:46 +02:00
parent b1613ac1f7
commit f29bb3956d
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

@ -393,7 +393,7 @@ a couple conversions.
]
As of 2022-04-07, Typed Racket cannot convert the type of
@racket[lists-transpose] to a contract. The @seclink["untyped"]{untyped
@racket[lists-transpose] to a contract. The @seclink["utils/untyped"]{untyped
submodule} provides a version of this function which can be used in
untyped code.
@ -517,7 +517,7 @@ Converts 0 to @racket[#f] and 1 to @racket[#t].
(01->boolean 1)
]}
@section[#:tag "untyped"]{Untyped code}
@section[#:tag "utils/untyped"]{Untyped code}
@defmodule[(submod dds/utils untyped)]