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! /Patrik
So I'm sitting here facing 298 exam papers for a 1st-year Haskell unit that I teach, and I'm trying to find an upside, so I thought - I wonder what's the biggest Haskell unit in the world? So how about it? Can anyone beat 298 for a Haskell programming unit? For the record, I teach more advanced aspects of FP to (this year) 38 students, too. -- Dr. Lyndon While -------- Email - lyndon@cs.uwa.edu.au ,-_|\ Phone - +61 8 9380 2720 / \ Fax - +61 8 9380 1089 *_,-._/ Web - http://www.cs.uwa.edu.au/~lyndon v
participants (2)
-
Lyndon While -
Patrik Jansson