Skip to content

Commit

Permalink
Update type.scrbl
Browse files Browse the repository at this point in the history
  • Loading branch information
jackfirth committed Apr 17, 2024
1 parent 26780e2 commit 21de16c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion type.scrbl
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ different basic operations and meant for different use cases.
The @racketmodname[rebellion/type] module is broken down into a collection of
modules, such as @racketmodname[rebellion/type/record] and @racketmodname[
rebellion/type/tuple]. Each module is meant for working with a specific kind of
data type. However, all of these modules have a few things in common.
data type. However, these modules have a few things in common, documented below.

@subsection[#:tag "nominal"]{Nominal v.s. Structural Types}

Expand Down

0 comments on commit 21de16c

Please sign in to comment.