Minor improvements

Author: adam-wyluda

contribute.md

@@ -13,7 +13,7 @@ This website is an open-source repository of official Scala documentation, hoste
 
 ### A Need for Better Documentation
 
-The availability, depth, and quality of documentation [is considered by many to be huge issue](http://www.google.com/moderator/#1/e=945de&t=945de.40).
+The availability, depth, and quality of documentation is considered by many to be huge issue.
 
 As Scala continues to mature, it continues to attract more and more interested newcomers and potential adopters who are well accustomed to easy-to-find, abundant, quality documentation (found in other languages, like Java). For many, the learning curve becomes unnecessarily steep, and [people sometimes get frustrated](http://groups.google.com/group/scala-user/browse_thread/thread/29996782cb8428cd/5ade8462ba30b177).
 

overviews/macros/implicits.md

@@ -107,7 +107,7 @@ prettyprinter for lists of prettyprintable elements and have it transparently in
     show(List(42)) // prints: List(42)
 
 In this case, the required instance `Showable[Int]` would be generated by the materializing macro defined above.
-Thus, by making macros implicit, they can be used to automate the materializtion of type class instances,
+Thus, by making macros implicit, they can be used to automate the materialization of type class instances,
 while at the same time seamlessly integrating with non-macro implicits.
 
 ## Fundep materialization
@@ -124,7 +124,7 @@ which represents isomorphisms between types. `Iso` can be used to map case class
     }
 
     case class Foo(i: Int, s: String, b: Boolean)
-    def conv[C, L](c: C)(implicit iso: Iso[C, L]): L = iso.from(c)
+    def conv[C, L](c: C)(implicit iso: Iso[C, L]): L = iso.to(c)
 
     val tp  = conv(Foo(23, "foo", true))
     tp: (Int, String, Boolean)

overviews/quasiquotes/expression-details.md

@@ -244,7 +244,7 @@ Throw expression is used to throw a throwable:
 
 ## Ascription
 
-Ascriptions lets users to annotate type of intermidiate expression:
+Ascriptions lets users to annotate type of intermediate expression:
 
     scala> val ascribed = q"(1 + 1): Int"
     ascribed: universe.Typed = (1.$plus(1): Int)