4 files changed, 11 insertions, 11 deletions
diff --git a/src/type/check.rs b/src/type/check.rs
index 80cc974..9369d97 100644
--- a/src/type/check.rs
+++ b/src/type/check.rs
@@ -10,7 +10,7 @@ impl SExp {
     ///
     /// Examples of simple expressions and their simple types:
     /// ```rust
-    /// use melisp::{
+    /// use myslip::{
     ///     r#type::{*, Type::*, TypeError::*},
     ///     sexp::{SExp::*, SLeaf::*, util::*},
     /// };
@@ -20,7 +20,7 @@ impl SExp {
     ///
     /// Quotes are given list types:
     /// ```rust
-    /// use melisp::{
+    /// use myslip::{
     ///     r#type::{*, Type::*, TypeError::*, util::*},
     ///     sexp::{SExp::*, SLeaf::*, util::*},
     /// };
@@ -32,7 +32,7 @@ impl SExp {
     /// ```
     /// Though so is Nil given too:
     /// ```rust
-    /// use melisp::{
+    /// use myslip::{
     ///     r#type::{*, Type::*, TypeError::*, util::*},
     ///     sexp::{SExp::*, SLeaf::*, util::*},
     /// };
@@ -45,7 +45,7 @@ impl SExp {
     ///
     /// Some common operators get arrow types:
     /// ```rust
-    /// use melisp::{
+    /// use myslip::{
     ///     r#type::{*, Type::*, TypeError::*, util::*},
     ///     sexp::{SExp::*, SLeaf::*, util::*},
     /// };
@@ -60,7 +60,7 @@ impl SExp {
     /// is to increase safety by being able to warn about errors
     /// before evaluation. Here are some failing examples:
     /// ```rust
-    /// use melisp::{
+    /// use myslip::{
     ///     r#type::{*, Type::*, TypeError::*, util::*},
     ///     sexp::{SExp::*, SLeaf::*, util::*},
     /// };
@@ -99,7 +99,7 @@ impl SExp {
     /// Also, free variables should result in an error
     /// as their type can't be known by the type checker.
     /// ```rust
-    /// use melisp::{
+    /// use myslip::{
     ///     r#type::{*, Type::*, TypeError::*, util::*},
     ///     sexp::{SExp::*, SLeaf::*, util::*},
     /// };
diff --git a/src/type/display.rs b/src/type/display.rs
index 68d7fec..2fca5f9 100644
--- a/src/type/display.rs
+++ b/src/type/display.rs
@@ -9,7 +9,7 @@ impl fmt::Display for Type {
     ///
     /// Examples:
     /// ```rust
-    /// use melisp::r#type::{Type::*, util::*};
+    /// use myslip::r#type::{Type::*, util::*};
     /// assert_eq!(Integer.to_string(), "Int".to_string());
     /// assert_eq!(arr(Integer, Integer).to_string(), "(Int -> Int)".to_string());
     /// assert_eq!(List(vec![Integer, Integer, Integer]).to_string(), "(Int Int Int)".to_string());
@@ -37,8 +37,8 @@ impl fmt::Display for TypeError {
     ///
     /// Examples:
     /// ```rust
-    /// use melisp::r#type::{TypeError::*, Type::*, util::*};
-    /// use melisp::sexp::{SExp, SExp::*, SLeaf::*, util::*};
+    /// use myslip::r#type::{TypeError::*, Type::*, util::*};
+    /// use myslip::sexp::{SExp, SExp::*, SLeaf::*, util::*};
     ///
     /// assert_eq!(
     ///     UndefinedVariable(String::from("x")).to_string(),
diff --git a/src/type/mod.rs b/src/type/mod.rs
index 2454f31..8761cee 100644
--- a/src/type/mod.rs
+++ b/src/type/mod.rs
@@ -60,7 +60,7 @@ impl Type {
     ///
     /// **Examples**
     /// ```rust
-    /// use melisp::r#type::{*, Type::*, TypeError::*, util::*};
+    /// use myslip::r#type::{*, Type::*, TypeError::*, util::*};
     ///
     /// assert_eq!(Integer.is_concrete(), Ok(()));
     /// assert_eq!(
diff --git a/src/type/subst.rs b/src/type/subst.rs
index 6e92584..1774770 100644
--- a/src/type/subst.rs
+++ b/src/type/subst.rs
@@ -8,7 +8,7 @@ impl Type {
     /// named `name` with the given type `value`
     /// in the type.
     /// ```rust
-    /// use melisp::r#type::{Type::*, util::*};
+    /// use myslip::r#type::{Type::*, util::*};
     /// 
     /// assert_eq!(
     ///     List(vec![Integer, arr(Integer, VarType("A".to_string())), VarType("B".to_string())])