Home Blog

Hello World

Posted on June 14, 2017 by Christopher Blöcker
Tags:

This is just a test post to make sure that everything works fine.

I was very tempted to write about monads because that seems to be the thing to do in your first blog post. I really wanted to talk about how monads are implemented in Haskell and show this code:

class Monad m where
  return :: a -> m a
  (>>=)  :: m a -> (a -> m b) -> m b

But maybe it’s better to stick with a beautiful formula, generated with MathJax. For example this one here that tells us when a set \(M\) is finite:

\[ | M | < \infty \Leftrightarrow \bigwedge_{N \subsetneq M} |N| < |M|. \]

Ok, that’s it.
\(\blacksquare\)

Built with Hakyll, MathJax, and Skeleton.