If you are interested in "simulation" why not subscribe to the Atom feed or RSS feed?
Posted by Thomas Sutton on August 28, 2013. Tagged with: event, functional programming, fp-syd, simulation, testing, compiling, SAT, logic.