Поправки

Рукописные поправки к тексту описания Входного языка и разрозненные черновые наброски.