Вопросы по теме 'semantics'
Важен ли порядок, в котором комбинированные диакритические знаки появляются после кодовой точки?
Интересно, меняет ли порядок, в котором комбинированные диакритические знаки появляются после кодовой точки, то, как диакритические знаки должны располагаться над или под символом; или если есть другое семантическое различие.
Указывает ли...
383 просмотров
schedule
23.03.2024
Разбираемся с Lift и Setω и вхождениями переменных в выражения
В предыдущем вопросе у меня были типы для игрушечного языка
data Type : Set where
Nat : Type
Prp : Type
Я думал интерпретировать их, используя непересекающийся союз Type → Set ⊎ Set₁ , но подумал, что лучше всего будет поднять...
73 просмотров
schedule
23.03.2024