Reference some cool blogs.

Makefile

@@ -5,7 +5,7 @@ site: site.hs
 	ghc --make -fwarn-unused-imports site
 
 run: site
-	./site rebuild && ./site watch
+	./site watch
 
 deploy:
 	./deploy.sh

posts/2015-04-06-two-nice-blogs.md

@@ -0,0 +1,20 @@
+---
+title: Two nice Coq-related blogs
+---
+
+Here are two blogs with nice Coq-related content:
+
+- Guillaume Claret, a Ph.D. student in Paris, has also a [blog][1]
+  devoted to Coq. You can find some good articles in there, such as
+  [this one][2], explaining how to use [OPAM][3] as a package manager
+  for Coq.
+
+- Ömer's [blog][4] has a lot of general programming-languages and
+  functional-programming material. [This post][5], for instance,
+  presents a simple exercise in dependently typed programming.
+
+  [1]: http://coq-blog.clarus.me
+  [2]: http://coq-blog.clarus.me/use-opam-for-coq.html
+  [3]: http://opam.ocamlpro.com/
+  [4]: http://osa1.net
+  [5]: http://osa1.net/posts/2014-09-23-two-challenges-for-dep-typed-langs.html