Package Details: teyjus 2.1-1

Git Clone URL: https://aur.archlinux.org/teyjus.git (read-only)
Package Base: teyjus
Description: An efficient implementation of the higher-order logic programming language Lambda Prolog
Upstream URL: http://teyjus.cs.umn.edu/
Licenses: GPL3
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 1
Popularity: 0.000000
First Submitted: 2016-04-20 05:30
Last Updated: 2016-04-20 05:43

Dependencies (5)

Required by (0)

Sources (1)