[ icon ] Add icon

owo-lang · Dec 16, 2019 · ff74402 · ff74402
1 parent f93480e
commit ff74402
Show file tree

Hide file tree

Showing 4 changed files with 25 additions and 0 deletions.
diff --git 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
@@ -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
diff --git 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.