Русская азбука упрощается в течение тысячелетий целенаправленно. Раньше с её помощью можно было управлять погодой, перемещаться на большие расстояния и делать прочие чудеса. Потом эти возможности отобралли.
data Id (A : Set)(x : A) : A → Set where
refl : Id A x x
-- аксиома K (Streicher 1993)
ꙮ : (A : Set)(x : A)(P : Id A x x → Set) →
P refl → (p : Id A x x) → P p
ꙮ A x P pr refl = pr
-- refl - единственный элемент типа Id A x x
Тогда уж, аффтар блога (да и читатели тоже) должны бы заценить ✡, и может быть, ☭. А если серьёзно, то действительно симпатично. Вполне можно предположить, что станет где-то полезно. Если только нет ненависти к юникоду в коде ;-) Надо поднять вопрос о включении в стандартные комбинации, набираемые через слеш.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
no subject
no subject
no subject
no subject
data Id (A : Set)(x : A) : A → Set where refl : Id A x x -- аксиома K (Streicher 1993) ꙮ : (A : Set)(x : A)(P : Id A x x → Set) → P refl → (p : Id A x x) → P p ꙮ A x P pr refl = pr -- refl - единственный элемент типа Id A x xno subject
no subject
no subject
А если серьёзно, то действительно симпатично.
Вполне можно предположить, что станет где-то полезно.
Если только нет ненависти к юникоду в коде ;-)
Надо поднять вопрос о включении в стандартные комбинации, набираемые через слеш.
no subject
no subject
Если сильно увеличить, то будет видно, что концы не заострены.
no subject
и заостренность беспокоит, да.
no subject
no subject
no subject
no subject
они страшнее этанола ,кофеина, никотина?
no subject
no subject
no subject
no subject
шевелящиеся сиськи, горящий огонек над Ё и i, бегущая волна над Й, итп.
no subject
no subject
no subject
Сразу после того, как спадут овации по поводу анимированных юзерпиков.
no subject
no subject
no subject
no subject