Hello everybody, the *corrected* assignment ass5 is up on the web. it is now also available from /afs/andrew/course/80/317/req/ass5.req the previously posted homework in the req directory was not up-to-date. Apologies for the mix-up. A couple of things to note: - if you are referring to functions defined in class, you need to type them into your submission file; otherwise type-checking will fail. - problem 5: you have to define an inductive data type express of arithmetical expressions; write tuch-style programs for count and val Tutch only knows about pre-defined data-types, bool, lists and nat. So you will not be able to type-check your programs count and val. You should add your solution to problem 5 to the ass5.tut file, but comment it out; this means your submitted file ass5.tut should type-check, when running the command tutch -r ass5 ass5.tut. You can comment out multiple lines by %{ your solution }% In general, Tutch does not provide any testing facilities. It will only type check your program. And of course, if the program type-checks, it does not necessarily mean it is correct. So you have to make sure, that it will actually does the right thing! Let me know, if you have any questions or problems, - Brigitte