Parallelisation of the Critical Pair Analysis

[andreicosta]

CPA process can be easily parallelized, and Haskell offers good options...

[ggazzi]

Relevant links:

• Haskell Wiki: Parallelism
• "Real World Haskell" book, chapter on concurrency and parallelism (only 2nd half is relevant)
• Parallel evaluation strategies library