simple checkout-oriented programming language

• 面向校验的简单程序设计语言