PanLinx
English
eng-000
type theory
普通话
cmn-000
类型论
PanLex
