********************************************************** ** This repo is now hosted on github: ** ** https://github.com/ndmitchell/hoogle ** **********************************************************