PanLinx
English
eng-000
calculus-type language
русский
rus-000
язык типа исчисления
PanLex
