Twelf signature

From The Twelf Project
Jump to: navigation, search

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

This page is incomplete. We should expand it.