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.
- See the introductions to Twelf to learn how to write Twelf signatures.
This page is incomplete. We should expand it.