Avid Haskell Programmer and formal semanticist - currently being sucked into the abyss that is concurrency theory - but enjoying the ride. I use Haskell to write theorem provers and predicate calculus calculators . Now using Promela/SPIN with python tooling to generate tests for RTEMS-SMP (rtems.org) PS - I hate cabal PPS - stack might be just fine ... jury`s still out... PPS - stack has been a lifer-saver !!! ©