This blog has been created with Hakyll. Syntax highlighting is generated with pygments which has been patched for Idris support.

The code for this blog is hosted on

    darcs get

About this Blog

All things typed, all things functional. This blog is mainly about my journey into the depths of functional programming and type systems.

About raichoo

Started programming BASIC at the age of 12 on a CPC. I developer Software at antei in Bielefeld, Germany where I hack in pretty much every progamming language I can get my hands on. Here are some of them: In my freetime I work on software I consider useful, from compilers to simple scripts.


If you care to contact me:

Recent Posts

…or you can find more in the archives.