Added Haskell version
Added PHAOS for idris example