1 files changed, 1 insertions, 1 deletions
diff --git a/src/type/display.rs b/src/type/display.rs
index 832b289..3e4f49c 100644
--- a/src/type/display.rs
+++ b/src/type/display.rs
@@ -18,6 +18,7 @@ impl fmt::Display for Type {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
         match self {
             Integer     => write!(f, "{}", "Int"),
+            Boolean     => write!(f, "{}", "Bool"),
             Arrow(a, b) => write!(f, "({} -> {})", a, b),
             List(types) => write!(
                                f,
@@ -28,7 +29,6 @@ impl fmt::Display for Type {
                                     .join(" ")
                            ),
             VarType(name) => write!(f, "{}", name),
-            Boolean => todo!(),
         }
     }
 }