Package Details: teyjus 2.1-1

Git Clone URL: https://aur.archlinux.org/teyjus.git (read-only, click to copy)
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: aspirogrammer
Maintainer: aspirogrammer
Last Packager: aspirogrammer
Votes: 1
Popularity: 0.000000
First Submitted: 2016-04-20 05:30 (UTC)
Last Updated: 2016-04-20 05:43 (UTC)

Dependencies (5)

Required by (0)

Sources (1)