code/compiler/10/type.hpp

@@ -1,7 +1,6 @@
 #pragma once
 #include <memory>
 #include <map>
-#include <string>
 #include <vector>
 #include <set>
 

code/compiler/10/type_env.hpp

@@ -1,6 +1,5 @@
 #pragma once
 #include <map>
-#include <string>
 #include "type.hpp"
 
 struct type_env;

content/blog/11_compiler_polymorphic_data_types.md

@@ -103,4 +103,4 @@ In effect, they take zero arguments and produce types (themselves).
 3. A function from one type to another, like \\(\\text{List} \\; a \\rightarrow \\text{Int}\\).
 
 Polytypes (type schemes) in our system can be all of the above, but may also include a "forall"
-quantifier at the front, generalizing the type (like \\(\\forall a \\; . \\; \\text{List} \\; a \\rightarrow \\text{Int}\\)).
+quantifier at the front, generalizing the type (like \\(\\forall a \; . \; \\text{List} \; a \\rightarrow \\text{Int}\\)).