add Coq typeclass index problem draft

[web.git] / personal / _posts / 2015-10-08-welcome.md

diff --git a/personal/_posts/2015-10-08-welcome.md b/personal/_posts/2015-10-08-welcome.md
index 6a4e88b209aba82f2d3d945d1ce6e06b0ab1228b..6933024e3a95eff8d26cf0b9078881293d751502 100644 (file)
--- a/personal/_posts/2015-10-08-welcome.md
+++ b/personal/_posts/2015-10-08-welcome.md
@@ -4,6 +4,8 @@ categories: meta
 ---
 
 I'll use this blog to write random articles on things that matter to me, and that I want to share.
 ---
 
 I'll use this blog to write random articles on things that matter to me, and that I want to share.

-So far, I don't know what this will end up being about - probably mostly about [research](https://www.mpi-sws.org/~jung/) and related topics, as that's what I do.
+So far, I don't know what this will end up being about - probably mostly about programming languages research and related topics, as that's what I do.

 
 

-In the mean time, you can check out my [research](/cs) and [project](/projects) pages.
+<!-- MORE -->
+
+In the mean time, you can check out my [research](https://www.mpi-sws.org/~jung/) and [project](/projects) pages.