Having as motivation the advance in inferring the size informations, this 
project aims to provide a tight integration between Omega Library, an advance 
integer programming tool, with Haskell, a mature and complex functional 
programming language.  The solution was tested using examples (append and 
qsort) for computing fix-point computation.