On Tue, Nov 23, 2010 at 10:19 PM, Michael C. Robinson <[email protected]> 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 is done with ghc: http://www.haskell.org/ghc/ It's probably worth noting that lambda calculus--without extensions--doesn't have types, so Haskell is somewhat more complex, despite having many similarities. > 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 machines and computability is kinda > going over my head at the moment. Seems to me that computability > is the whole entire point of the course where a universal turing machine > is supposed to represent programmable computers or machines that can do > more than one thing based on what they are given as input. Is it just > me, or is there too much information in PSU's CS311 course in general? The first computability course you take often feels that way. > Any advice on getting online help to learn Lambda Calculus and > understand UTMs would be very much appreciated ;-) Well, if you're working with haskell, these may help: * http://tryhaskell.org/ * http://learnyouahaskell.com/ (I've heard *very* good things about that on-line book, despite the rather simple illustrations :) --Rogan _______________________________________________ PLUG mailing list [email protected] http://lists.pdxlinux.org/mailman/listinfo/plug
