Add "Law Testing" to side menu. (#2196)

Laws are important and the link to the Law Testing page is quite hidden (in a hyperlink all the way down the bottom of the Typeclasses page). I suspect making it more visible might encourage more people to learn how to test typeclass laws.
typelevel · Mar 16, 2018 · 06041fb · 06041fb
1 parent 55e0902
commit 06041fb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/src/main/resources/microsite/data/menu.yml b/docs/src/main/resources/microsite/data/menu.yml
@@ -116,6 +116,10 @@ options:
     url: typeclasses/arrow.html
     menu_type: typeclasses
 
+  - title: Law Testing
+    url: typeclasses/lawtesting.html
+    menu_type: typeclasses
+
   ###########################
   # Data Types Menu Options #
   ###########################