Command-line tool

mercury

brew/mercury

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Logic/functional programming language

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install mercury

Linux

brew install mercury

Related command-line tools

• flix
  Statically typed functional, imperative, and logic programming language
• futhark
  Data-parallel functional programming language
• idris
  A Dependently Typed Functional Programming Language
• idris2
  Pure functional programming language with dependent types
• never
  Statically typed, embedded functional programming language
• agda
  Dependently typed functional programming language
• frege
  Non-strict, functional programming language in the spirit of Haskell
• acl2
  Logic and programming language in which you can model computer systems

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents