Web Demonstration of Type Error Slicing

Greg Michaelson greg@macs.hw.ac.uk
Mon, 25 Nov 2002 15:22:11 +0000 (GMT) 

Please tell me when it recognises [] as the empty list and :: as a list
constructor.

Thanks!

Greg