Category Archives: Haskell

Haskell Platform on Mac OS X (with clang 5)

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.

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

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