PanLinx
русский
rus-000
высокоорганизованный алгоритмический язык
English
eng-000
HOL
English
eng-000
higher-order language
PanLex