-
Recent Posts
Archives
Categories
May 2022 M T W T F S S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Meta
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.