Re: [PLUG] Lambda Calculus and Linux...

2010-11-24 Thread Rogan Creswick
On Tue, Nov 23, 2010 at 10:19 PM, Michael C. Robinson plu...@robinson-west.com wrote: Hugs seems to be for Windows.  I thought there were some Linux releases, but is there another route? Hugs runs on quite a few platforms, it's certainly available for Linux, however, most current Haskell work

Re: [PLUG] Lambda Calculus and Linux...

2010-11-24 Thread Aaron Burt
(Sorry, I should have taken this to plug-talk!) On Tue, Nov 23, 2010 at 10:19:06PM -0800, Michael C. Robinson wrote: Hugs seems to be for Windows. No. Hugs 98 is a Haskell interpreter. It should be packaged for any distro, as hugs or as hugs98. I need to learn the rules of Lambda Calculus

[PLUG] Lambda Calculus and Linux...

2010-11-23 Thread Michael C. Robinson
Hugs seems to be for Windows. I thought there were some Linux releases, but is there another route? I need to learn the rules of Lambda Calculus and solve some problems related to that before Tuesday. The Hopcroft book we are using at PSU has a lot to be desired. Another thing, universal turing