Added new haskell flip post and old church rosser post