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 371561b52a2f060c9b2bc79698cee8c1826071b7..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


@@ -8,6 +8,8 @@ for it somewhere, but not finding the right spot to put a link to that
 website? I certainly do, and, well... now that I have a blog, I finally
 do have a place for such links!
 
 website? I certainly do, and, well... now that I have a blog, I finally
 do have a place for such links!
 

+<!-- MORE -->
+

 So, without further ado, let me present to you [Breaking All the Way Out](/cs/cg),
 a video I created some time ago together with a friend. This project was our
 submission for the Computer Graphics course.
 So, without further ado, let me present to you [Breaking All the Way Out](/cs/cg),
 a video I created some time ago together with a friend. This project was our
 submission for the Computer Graphics course.