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