Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added closing bracket #249

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion book/ch10.rst
Original file line number Diff line number Diff line change
Expand Up @@ -731,7 +731,7 @@ type-checker will try to infer as many types as possible, in this case
it has not managed to fully specify the type of ``walk``,
since its result type is unknown. Although we are intending ``walk``
to receive type ``<e, t>``, as far as the type-checker knows, in this
context it could be of some other type such as ``<e, e>`` or ``<e, <e, t>``. To help
context it could be of some other type such as ``<e, e>`` or ``<e, <e, t>>``. To help
the type-checker, we need to specify a `signature`:dt:, implemented as
a dictionary that explicitly associates types with non-logical
constants:
Expand Down