G'day all.
On Fri, Nov 02, 2001 at 11:52:04AM -0500, Barbara Nostrand wrote:
> I posted this message a while ago and got a few suggestions that
> sounded like they would maintain student interest. Alas, my disk
> drive crashed soon thereafter. So if you have given me suggestions
> before, please
G'day all.
On Thu, Sep 20, 2001 at 09:01:42AM -0400, Barbara Nostrand wrote:
> Next Semester, I am supposed to teach a short course in Haskell.
> Can anyone recommend interesting programming projects which can
> be completed in about a month? Thank you very much.
How much programming experience
Consider goal-directed theorem prover (or proof checker). Two existing
samples are in Lawrence Paulson's ML for the Working Programmer, and
yours truly's http://www.cs.utoronto.ca/~trebla/fp/prover/index.html
The advantage of mine is it illustrates monads. The advantage of Paulson's
is it doesn
