From ff7440269b1c9ff1e6391385b871162cff53d71f Mon Sep 17 00:00:00 2001
From: ice1000 <ice1000kotlin@foxmail.com>
Date: Sun, 15 Dec 2019 22:41:17 -0500
Subject: [PATCH] [ icon ] Add icon

---
 .github/README.md |  2 ++
 CHANGELOG.md      |  5 +++++
 rustdoc/icon.svg  | 15 +++++++++++++++
 src/lib.rs        |  3 +++
 4 files changed, 25 insertions(+)
 create mode 100644 rustdoc/icon.svg

diff --git a/.github/README.md b/.github/README.md
index 25ae47c..88223fc 100644
--- a/.github/README.md
+++ b/.github/README.md
@@ -24,6 +24,8 @@ For language description, please head to the [docs.rs][doc-rs] page.
 
 ## Resources
 
+![](https://raw.githubusercontent.com/owo-lang/narc-rs/master/rustdoc/icon.svg?sanitize=true)
+
 + [Original Paper][paper] that Narc is based on
 + [Docs.rs][doc-rs] documentation
 + [IntelliJ Plugin][plugin], which can export your code as clickable HTML
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 6875e4f..9d73dd0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,11 @@
 + Functions of `Subst` are now `self`-based methods
 + Move `ConHead` to `syntax::common`
 + Move `syntax::core::pat` to `check::pats::core`
++ Implement `simplify` for simple pattern match
+  + Implement `check::pats::mat` for generating matches
+  + Implement `unfold_func`
++ Group imports into a `use` tree (`merge_imports` in rustfmt)
++ Add icon
 
 # 0.0.6
 
diff --git a/rustdoc/icon.svg b/rustdoc/icon.svg
new file mode 100644
index 0000000..20bd02e
--- /dev/null
+++ b/rustdoc/icon.svg
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+	xmlns="http://www.w3.org/2000/svg"
+	width="80"
+	height="80"
+	viewBox="0 0 16 16">
+	<g transform="translate(0,-281)">
+		<path
+			style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.34778708px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+			d="m 8.0123603,281.76559 c -8.69467733,0 -6.9557418,10.43361 -5.2168064,13.91149 l 1.7389355,-8.69468 h 1.7389355 c 1.7389354,-5.21681 1.7389354,-5.21681 3.5136238,0 h 1.7031823 l 1.738936,8.69468 c 1.738936,-3.47788 3.477871,-13.91149 -5.2168067,-13.91149 z"/>
+		<path
+			style="fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.34778708px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+			d="m 8.0123605,287.51157 c -1.7389355,3.47786 -1.7389355,3.47786 0,5.2168 1.7389361,-1.73894 1.7389361,-1.73894 0,-5.2168"/>
+	</g>
+</svg>
\ No newline at end of file
diff --git a/src/lib.rs b/src/lib.rs
index f6983cd..07cd65e 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,3 +1,6 @@
+#![doc(
+    html_logo_url = "https://raw.githubusercontent.com/owo-lang/narc-rs/master/rustdoc/icon.svg?sanitize=true"
+)]
 /*!
 Narc is a dependently-typed programming language with Agda
 style dependent pattern matching.