Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Giuseppe Castagna
occurrence-typing
Commits
668fb500
Commit
668fb500
authored
Feb 27, 2020
by
Giuseppe Castagna
Browse files
rewording
parent
bbe3ee47
Changes
1
Hide whitespace changes
Inline
Side-by-side
gradual.tex
View file @
668fb500
...
...
@@ -145,8 +145,8 @@ $(\dyn \to \code{number}\vee\code{string}) \land ((\code{number} \land \dyn) \to
we stated before, this would introduce an unnecessary cast if the function
were to be applied to an integer.
\footnote
{
%
Notice that considering
$
\code
{
number
}
\land
\dyn\simeq
\code
{
number
}$
as in~
\cite
{
siek2016recursive
}
is
not an option
here
, since it would force us to choose between having
$
\code
{
number
}
\land
\dyn\simeq
\code
{
number
}$
is
not an option, since it would force us to choose between having
the gradual guarantee or having, say,
$
\code
{
number
}
\land
\code
{
string
}$
be more precise than
$
\code
{
number
}
\land
\dyn
$
.
}
%
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment