Patrik Jansson patrikj@cs.chalmers.se
Wed, 20 Jun 2001 13:44:21 +0200 (MET DST)

On Wed, 20 Jun 2001, John Meacham wrote:
> you forget one other essential quality of hbc.
> As far as I know it is the only compiler that even has a chance of
> compiling Fudgets, and hence programs dependent on them such as
> the very cool (IMHO) Alfa proof editor
> (http://www.cs.chalmers.se/~hallgren/Alfa/)
> and its assosiated improvments to Fudgets. If there is any effort to
> port these tools to a modern haskell system then I cheer you on.

Fudgets and Alfa compiles with ghc already. (But I haven't seen a release
of that.) Ask Hallgren (nicely) for an unofficial release/snapshot!