Интересно, меняет ли порядок, в котором комбинированные диакритические знаки появляются после кодовой точки, то, как диакритические знаки должны располагаться над или под символом; или если есть другое семантическое различие. Указывает ли...

В предыдущем вопросе у меня были типы для игрушечного языка data Type : Set where Nat : Type Prp : Type Я думал интерпретировать их, используя непересекающийся союз Type → Set ⊎ Set₁ , но подумал, что лучше всего будет поднять...