add Coq typeclass index problem draft

[web.git] / personal / _posts / 2015-10-09-breaking-all-the-way-out.md

diff --git a/personal/_posts/2015-10-09-breaking-all-the-way-out.md b/personal/_posts/2015-10-09-breaking-all-the-way-out.md
index 0c50fc91cbd7cdb8479a4d12c0dba93ee48fb300..58a1ab19d232f8ae618624ca26b337f520fa8e49 100644 (file)
--- a/personal/_posts/2015-10-09-breaking-all-the-way-out.md
+++ b/personal/_posts/2015-10-09-breaking-all-the-way-out.md
@@ -1,6 +1,6 @@
 ---
 title: Breaking All the Way Out
 ---
 title: Breaking All the Way Out

-categories: university fun
+categories: fun

 ---
 
 Do you know the feeling of having done something, and having a website
 ---
 
 Do you know the feeling of having done something, and having a website