Add notes about the haskell implementation.