githaven/options/gitignore/PureScript