1. 2015-06-13 [1] [jhc] [ANNOUNCEMENT]Introducing scher, a symbolic testing library in the haskell-jhc Mario Alvarez Picallo