Wow, interesting. Is it released somewhere? Googling found me the Copperhead project, was that what you used?
I'm not sure if "implemented" means you implemented your code for it, or you implemented the entire compiler. :)
I originally wanted use Copperhead and got in contact with the developer a year ago, but it was too early even for "private" beta testing, so I never got access to their code. Also, my compiler is specialized on image processing, so probably Copperhead wouldn't have worked, anyway. I'm only jealous of Copperhead's type inferencer. :) But then again, I have to get finished with my thesis and a type inferencer wouldn't help with that goal. ;)