Pretty printer for core.typed annotations

gistfile1.clj

(defn pp-type [f]
  (if (and (sequential? f) (<= 3 (count f)) (symbol? (first f)) (= (name (first f)) "All"))
    (str "(All " (pr-str (second f)) "\n   " (str/join "\n   " (str/split (pp-type (nth f 2)) #"\n" )) ")")
    (if (and (sequential? f) (<= 3 (count f)) (symbol? (first f)) (= (name (first f)) "IFn"))
              (str "(IFn " (str/join "\n   " (map pr-str (rest f))) ")")
              (pr-str f))))

(defn pretty-print-type [f]
    (-> (pp-type f)

        (str/replace #"(clojure\.core\.typed/)|(clojure\.lang\.)|(java\.lang\.)" "")
        (str/replace "(U " "(\u222a ")
        (str/replace "(I " "(\u2229 ")
        (str/replace "(All " "(\u2200 ")
        (str/replace "(IFn " "(\u03bb ")
        (str/replace " -> " " \u2192 ")
        (str/replace "[-> " "[\u2192 ")
        ))

It's the one currently used by http://crossclj.info
Some cases are not well covered.