We've just released the long-awaited version 0.8. Release information can be found here . Web site now searchable You can now search either the mailing lists or the rest of the web site. A new paper, describing our implementation of type classes in Mercury, has been made available from the Mercury papers page . New unstable daily releases.
Daily releases are available for download .
The Mercury Web Site overhauled. Thanks to Peter Ross for all his work on it. Mmake has been extended to support setting flags on a per-file basis, and will now warn about variables which are defined but not used. Enhancements to mtags. Mtags is now able to produce tags for typeclass declarations.