diff options
| author | edwin <edwin@FreeBSD.org> | 2005-11-26 20:49:47 +0800 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2005-11-26 20:49:47 +0800 |
| commit | e694ffd61ab89e0fbc1364c4e220d310fdbf138c (patch) | |
| tree | 7ef71dd7a9096fa08e3389761d2f6b82ba3b4917 /lang/Makefile | |
| parent | c90aea498c9dd1dc0c6ba4c32064ca9402f0d924 (diff) | |
| download | freebsd-ports-gnome-e694ffd61ab89e0fbc1364c4e220d310fdbf138c.tar.gz freebsd-ports-gnome-e694ffd61ab89e0fbc1364c4e220d310fdbf138c.tar.zst freebsd-ports-gnome-e694ffd61ab89e0fbc1364c4e220d310fdbf138c.zip | |
New port: lang/twelf A meta-logical framework for deductive systems
The Twelf implementation comprises
* the LF logical framework, including type reconstruction;
* the Elf constraint logic programming language;
* an inductive meta-theorem prover for LF;
* and an Emacs interface.
PR: ports/84625
Submitted by: "Andrew Bernard" <andrew@hobnob.com>
Diffstat (limited to 'lang/Makefile')
| -rw-r--r-- | lang/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile index 5df3d19f0672..41706c18d01f 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -289,6 +289,7 @@ SUBDIR += tolua4 SUBDIR += treecc SUBDIR += tuareg-mode.el + SUBDIR += twelf SUBDIR += visualworks SUBDIR += wamcc SUBDIR += xsb |