Category Archives: Haskell

Haskell Platform on Mac OS X (with clang 5)

Posted on 2013/10/12 by Thomas Strathmann

The workaround presented in this blog post is somewhat cleaner and I would recommend usind it instead of the hack I describe below.

Posted in Haskell, Tools | Leave a comment

Some resources on functional programming, types, logic, etc.

Posted on 2012/01/22 by Thomas Strathmann

If you’ve got some time to kill I’d suggest heading over to Edsko de Vries’ presentations page where he’s collected a few slides and some notes on topics ranging from linear and separation logic to proof theoretical basics and category … Continue reading →

Posted in Haskell, Mathematics, TCS | 1 Comment

The Maybe monad in Coq

Posted on 2011/01/25 by Thomas Strathmann

The Maybe monad is pretty useful whenever you’re dealing with partial functions, especially in a language like Coq (or rather Gallina if you want to be exact) which requires all functions to be total.

Posted in Coq, Haskell | Tagged | 8 Comments