mercury

mercury 22.01.9 · pkgs/by-name/me/mercury/package.nix

Health

Risk

risk 2 low

+2 no meta.mainProgram, no versionCheckHook

Version

22.01.9 no newer release known to repology

Channels

master 22.01.9 · nixos-unstable 22.01.9 · nixos-26.05 22.01.8 master is ahead of nixos-26.05

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no meta.mainProgram no versionCheckHook

Packagewhat each field means

Description

Pure logic programming language

Long description

Mercury is a 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.

Homepage

https://mercurylang.org/

Changelog

https://dl.mercurylang.org/release/release-notes-22.01.9.html

License

GPL-2.0-only

Platforms

79 platforms: Linux, Darwin

Source provenance

not set: built from source

Outputs

out