gentoo.LinuxHowtos.org

Details of dev-lang/teyjus:

Description: Higher-order logic programming language Lambda Prolog
Homepage: https://teyjus.cs.umn.edu/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
teyjus-2.1-r2 -~----------~emacs
examples
show
For teyjus emacs, add this line to ~/.emacs

(require 'teyjus)
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Tutorials:
no tutorial found


back