typos

src/chapters/chap-background.tex

@@ -17,7 +17,7 @@ \chapter{Background} %: Types and Multiple Dispatch in Julia}%
 \begin{figure}[t]
 %-(x::Date, y::Week) = Date(UTD(value(x) - 7*value(y)))    
 \begin{julia}
--(x::BigInt) = MPZ.neg(x, y)
+-(x::BigInt) = MPZ.neg(x)
 -(x::BigInt, y::BigInt) = MPZ.sub(x, y)
 -(x::T, y::T) where T<:Union{Int16, Int32, ..., UInt128} = sub_int(x, y)
 -(m::Missing, n::Number) = missing

src/metainfo.tex

@@ -39,7 +39,7 @@
 In this dissertation, I propose a decidable subtype relation for a restricted
 language of Julia types where existential types inside invariant constructors
 are limited to ones expressible with use-site variance.
-To estimate migration effort that would be required for switching to the 
+To estimate the migration effort that would be required for switching to the 
 restricted type language, I analyze type annotations in the corpus of 9K
 registered Julia packages.
 Out of 2M statically identifiable type annotations in the corpus,