Template:Twelf code
From The Twelf Project
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.
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.
