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

Make TBF appear as "type" in the docs.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-04-28 19:04:16 +02:00
parent 4927c0ec8c
commit 8067f9e7f0
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/functions.scrbl
View file

@ -457,7 +457,7 @@ Instances of @racket[tbf] have the type @racket[TBF].
}
@defidform[TBF]{
@defidform[#:kind "type" TBF]{
The type of the instances of @racket[tbf]: