Twelf signature
From The Twelf Project
A Twelf signature is the thing you are writing when you are writing Twelf code - when you create a configuration file, all the Twelf code in all the files you are working with makes up a Twelf signature.
| This article or section needs a simple description of how the term arises from the LF theory. |
See also
- See the introductions to Twelf to learn how to write Twelf signatures.
This page is incomplete. We should expand it.
