欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
模板:Languages/Lang
来自开放百科 - 灰狐
Template
This sub-template doesn't display properly when not included. Please see Template:Languages for the complete version.
Usage
This template is designed to simplify Template:Languages, by allowing a simpler syntax for adding new languages. Each language is included by calling this template with the following parameters:
- Language code (e.g. fr)
- (optional) Page name - if not supplied the page is automatically worked out based on where the language template is included.
This template should not be used anywhere except in the Languages template.
分享您的观点