mercury-compiler
PPA description
Mercury is a pure logic programming language intended for the creation of large, fast, reliable programs. The syntax of Mercury is based on the syntax of Prolog, but semantically the two languages are very different due to Mercury's purity, its type, mode, determinism and module systems.
To install mercury on your computer do:
sudo add-apt-repository ppa:altair-ibn-la-ahad/mercury-compiler
sudo apt-get update
sudo apt-get install mercury-compiler
run the compiler with:
mmc
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:altair-ibn-la-ahad/mercury-compiler to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:altair-ibn-la-ahad/mercury-compiler sudo apt update
For questions and bugs with software in this PPA please contact Andreas Altaïr Redmer.
PPA statistics
- Activity
- 0 updates added during the past month.
Overview of published packages
1 → 6 of 6 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
14.01-0ubuntu1 | Andreas Altaïr Redmer () |
|
14.01-0ubuntu1 | Andreas Altaïr Redmer () |
|
14.01-0ubuntu1 | Andreas Altaïr Redmer () |
|
14.01-0ubuntu1 | Andreas Altaïr Redmer () |
|
14.01-0ubuntu1 | Andreas Altaïr Redmer () |
|
14.01-0ubuntu1 | Andreas Altaïr Redmer () |
1 → 6 of 6 results | First • Previous • Next • Last |