nicolas : added mac agda haskell stuff