Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-lang
/teyjus
Higher-order logic programming language Lambda Prolog
Screenshots
https://teyjus.cs.umn.edu/
teyjus-2.1-r2
~amd64 ~x86
emacs examples
View
Download
Browse
License: GPL-3
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
teyjus-2.1-r2
dev-lang/ocaml
[ocamlopt]
emacs
?
( >=
app-editors/emacs
-23.1:* )