Edwin Groothuis 70b1179c61 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>		2005-11-26 12:49:47 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist