The Hugs distribution. Available by anonymous FTP from nott-fp#languages#hugs on ftp.cs.nott.ac.uk.,1995 (1995)

by Jon95 Mark P Jones