diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2005-11-26 12:49:47 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2005-11-26 12:49:47 +0000 |
| commit | 70b1179c61675622ee3de992eacb5c99f9032045 (patch) | |
| tree | e305aca4b175baacf2bb7b6d284dc01bd5c3b5cc /lang/Makefile | |
| parent | add lang/twelf (diff) | |
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>
Notes
Notes:
svn path=/head/; revision=149566
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 |