Igor Stasenko Mon, 06 Jul 2015 08:56:15 -0700
Haskell fits well for those, who wants a proof instead of solution.
-- Best regards, Igor Stasenko.