Comment by mafribe

I should have read the InfoQ article more carefully.

If you had a Frege -> Haskell translator, which shouldn't be hard to do, except in edge cases, you could use GHC as a testing oracle for the Frege compiler.