λemonad

Welcome

About

My name is Jan Bessai. I’m currently studying computer science at tu-dortmund. This blog will be about (functional) programming, types, category theory and some philosophy maybe.

Posts

• 07 May 2013 » Forget Scala! A Java Backend for Idris (Update)
• 14 Mar 2013 » Inject dependencies with Syringe
• 14 Mar 2013 » Compiler Assisted Automatic Error Detection
• 12 Mar 2013 » Wittgenstein vs Recursion
• 12 Mar 2013 » Traces with monoidal errors
• 12 Mar 2013 » Forget Scala! A Java Backend for Idris