advertise Miri a bit more
[web.git] / personal / _posts / 2015-10-08-welcome.md
index 43b4e8b365214b3317e3bf7c91cc1c01c6c5ea91..6933024e3a95eff8d26cf0b9078881293d751502 100644 (file)
@@ -6,4 +6,6 @@ categories: meta
 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 programming languages research and related topics, as that's what I do.
 
 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 programming languages research and related topics, as that's what I do.
 
+<!-- MORE -->
+
 In the mean time, you can check out my [research](https://www.mpi-sws.org/~jung/) and [project](/projects) pages.
 In the mean time, you can check out my [research](https://www.mpi-sws.org/~jung/) and [project](/projects) pages.