Commit 7860dc9a authored by Mickael Laurent's avatar Mickael Laurent
Browse files

typo

parent 52e1cfd9
......@@ -737,7 +737,7 @@ refinement types, using the given references has a starting point.
on such a large scale can easily give exponential explosion. Typed
Racket, by admission of the authors themselves (reviewer 1 can
contradict us if we are wrong) uses some not very well documented
(typing features and heuristics. In any case our proof-of-concept
typing features and heuristics. In any case our proof-of-concept
implementation constitute a very poor yardstick in this respect.
What we can say is how we expect some characteristics of our
......@@ -980,8 +980,8 @@ p7,44, typo: `andjump'
\item
p8,33, `$\partial \in {[}[t_2]{]}$': It seems likely that the codomain of
{[}{[}\_{]}{]} is a subset of $\mathcal{D}$. Wouldn't this prevent any
function that diverges on any argument from the domain t\_1 from
belonging to {[}{[}t1$\to$t2{]}{]}, for any $t_2$? I would
function that diverges on any argument from the domain $t_1$ from
belonging to {[}{[}$t_1\to t_2${]}{]}, for any $t_2$? I would
expect that any function in {[}{[}$t_1\to t_2${]}{]} would be
allowed to diverge on any input.
\begin{answer}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment