
26 Sep
2001
26 Sep
'01
5:36 a.m.
I haven't been able to get hold of a copy of NHC (ftp does not seem to work). Can you possibly put a copy (scources, x86) on the web page?
Ok, try http://www.cs.york.ac.uk/fp/nhc98/nhc98src-1.08.tar.gz for the source, and http://www.cs.york.ac.uk/fp/nhc98/nhc98-1.08-ix86-Linux.tar.gz for a ready-built linux executable. Regards, Malcolm