Template:Twelf code

From The Twelf Project
Jump to: navigation, search

The above page contains an example of Twelf code. It may be attached to a tutorial as an illustrative example, or it may stand on its own.