feat: add Repr Name

src/Init/Meta.lean

@@ -49,7 +49,11 @@ def toStringWithSep (sep : String) : Name → String
 protected def toString : Name → String :=
   toStringWithSep "."
 
-instance : ToString Name := ⟨Name.toString⟩
+instance : ToString Name where
+  toString n := n.toString
+
+instance : Repr Name where
+  reprPrec n _ := Std.Format.text "`" ++ n.toString
 
 def capitalize : Name → Name
   | Name.str p s _ => Name.mkStr p s.capitalize