Begin3
Title:          mercury
Version:        0.7.3
Entered-date:   08NOV97
Description:    The Mercury programming language.
                Mercury is a new logic/functional programming language,
                which combines the clarity and expressiveness of
                declarative programming with advanced static analysis
                and error detection features. Its highly optimized
                execution algorithm delivers efficiency far in excess of
                existing logic programming systems, and close to
                conventional programming systems. Mercury addresses the
                problems of large-scale program development, allowing
                modularity, separate compilation, and numerous
                optimization/time trade-offs. 
Keywords:       mercury, programming language, logic, functional, declarative
Author:         mercury@cs.mu.oz.au (The Mercury Team)
Maintained-by:  mercury@cs.mu.oz.au (The Mercury Team)
Primary-site:   sunsite.unc.edu /pub/linux/devel/lang/mercury
		1384 mercury-0.7.3-core.lsm
                5.0MB mercury-0.7.3-core.tar.gz
Original-site:  turiel.cs.mu.oz.au /pub/mercury
                5.0MB mercury-0.7.3-core.tar.gz
Platforms:      i386 (SPARC, MIPS and Alpha possible but untested with
                Linux), gcc 2.6.3 or higher, GNU make 3.69 or higher
Copying-policy: GPL+LGPL
End