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