Path to this page:
./
lang/mercury,
Modern logic/functional programming language
Branch: pkgsrc-2018Q4,
Version: 14.01.1nb9,
Package name: mercury-14.01.1nb9,
Maintainer: pkgsrc-usersMercury is a modern 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.
This package includes the compiler, profiler, debugger, documentation,
etc. It does NOT include the "extras" distribution; that is available
from <http://www.cs.mu.oz.au/mercury/download/release.html>.
Required to run:[
devel/readline]
Required to build:[
devel/gtexinfo] [
print/dvipsk] [
print/web2c] [
print/tex-texinfo]
Master sites: (Expand)
SHA1: 8d8295aed6cadb6cd2e932490042de6075d18acf
RMD160: 8ee4a5ee694985b6d6453bee86a3a7e12cc9d0ac
Filesize: 51424.751 KB
Version history: (Expand)
- (2019-01-02) Package added to pkgsrc.se, version mercury-14.01.1nb9 (created)