Аннотация семинара БЕТА/С-02

на котором обсуждался подход к построению внутреннего языка семантического типа.