Template:Keyword

From The Twelf Project
Jump to: navigation, search

This template is intended for the bottom of articles about Twelf keywords, as an index. It also includes the article in the keywords category. Use it as {{keyword|key=name}}, where name is the name by which the keyword should be sorted.

The file twelf/src/frontend/lexer.fun in the Twelf sources contains the full list.