add Coq typeclass index problem draft
[web.git] / personal / blog / feed.xml
1 ---
2 layout: feed
3 slug: Subscribe
4 ---
5
6 <title>{{ site.blog.title | xml_escape }}</title>
7 {% include post-feed.html posts=site.posts %}