教育命令式静态类型编程语言。，Educational imperative statically typed programming language., (2023-08-23, Haskell, 0KB, 下载0次)