Русская азбука упрощается в течение тысячелетий целенаправленно. Раньше с её помощью можно было управлять погодой, перемещаться на большие расстояния и делать прочие чудеса. Потом эти возможности отобралли.
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
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
шевелящиеся сиськи, горящий огонек над Ё и i, бегущая волна над Й, итп.
no subject
no subject
no subject
они страшнее этанола ,кофеина, никотина?
no subject
no subject
Сразу после того, как спадут овации по поводу анимированных юзерпиков.
no subject
no subject
no subject
no subject
no subject
no subject