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

Untyped code → Untyped definitions

This commit is contained in:
Sergiu Ivanov 2022-04-07 00:41:35 +02:00
parent f29bb3956d
commit f2a9336d71
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scribblings/utils.scrbl
View File

@ -517,7 +517,7 @@ Converts 0 to @racket[#f] and 1 to @racket[#t].
(01->boolean 1)
]}
@section[#:tag "utils/untyped"]{Untyped code}
@section[#:tag "utils/untyped"]{Untyped definitions}
@defmodule[(submod dds/utils untyped)]