Clone of Munster Curry Compiler (mcc) repo at http://hub.darcs.net/wlux/curry - View it on GitHub