Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
implementations:overview [2015-05-12 12:33] mh [MCC] |
implementations:overview [2017-05-31 15:36] mh [PAKCS] Ubuntu package mentioned |
||
---|---|---|---|
Line 34: | Line 34: | ||
a [[ implementations:overview#tastecurry | simple interpreter implemented in Prolog ]], | a [[ implementations:overview#tastecurry | simple interpreter implemented in Prolog ]], | ||
but these are no longer maintained). | but these are no longer maintained). | ||
+ | |||
+ | PAKCS (release 1.14.2) is also available as an Ubuntu 17.04 package. | ||
+ | If you run this OS, PAKCS can be installed with the command | ||
+ | |||
+ | > sudo apt install pakcs | ||
**Contact:** | **Contact:** |